It looks like you're offline.
Open Library logo
additional options menu
Last edited by ImportBot
October 7, 2008 | History

International Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany)

Download catalog record: RDF / JSON