http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Model checking and artificial intelligence
6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised selected and invited papers
Ron van der Meyden, Jan-Georg Smaus (Eds.).
Includes bibliographical references and author index.
Lecture notes in artificial intelligence