http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Formal modeling and analysis of timed systems
third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings
FORMATS (Conference) 2005 : Uppsala, Sweden)
Includes bibliographical references and index.