http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Formal methods for industrial critical systems
International Workshop on Formal Methods for Industrial Critical Systems 2009 : Eindhoven, The Netherlands)
María Alpuente, Byron Cooker, Christophe Joubert, (eds.).
Electronic reproduction. New York : Springer, 2010. Mode of access: World Wide Web. System requirements: Web browser. Title from title screen (viewed on Jan. 22, 2010). Access may be restricted to users at subscribing institutions.
Includes bibliographical references and index.
Lecture notes in computer science ; 5825