http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Formal methods for industrial critical systems
16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings
International Workshop on Formal Methods for Industrial Critical Systems 2011 : Trento, Italy)
Includes bibliographical references and author index.
Lecture notes in computer science ; 6959