http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Formal techniques for networked and distributed systems-- FORTE 2004
24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings
1 online resource (x, 375 pages) : illustrations.
David de Frutos-Escrig, Manuel Núñez, editors.
Includes bibliographical references and index.
Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings
Lecture notes in computer science ; 3235