http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Formal techniques for distributed systems
joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings
International Conference on Formal Methods for Open Object-Based Distributed Systems 2011 : Reykjavík, Iceland)
Title from PDF title page (SpringerLink, viewed June 27, 2011).
Includes bibliographical references and index.
Object-oriented programming (Computer science)
International Conference on Formal Methods for Open Object-Based Distributed Systems (13th : 2011 : Reykjavík, Iceland).
Lecture notes in computer science ; 6722