http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Model checking and artificial intelligence
5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers
Doron A. Peled, Michael J. Wooldridge (eds.).
Electronic reproduction. New York : Springer, 2009. Mode of access: World Wide Web. System requirements: Web browser. Title from title screen (viewed on Apr. 6, 2009). Access may be restricted to users at subscribing institutions.
Lecture notes in computer science ; 5348
Lecture notes in artificial intelligence