http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Tools and algorithms for the construction and analysis of systems
Second International Workshop, TACAS '96, Passau, Germany, March 1996 : proceedings
TACAS (Conference) 1996 : Passau, Germany)
Tiziana Margaria, Bernhard Steffen, (eds.).
Includes bibliographical references and index.
Lecture notes in computer science ; 1055