KOPS - The Institutional Repository of the University of Konstanz

Formal methods for industrial critical systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, revised selected papers

Formal methods for industrial critical systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, revised selected papers

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

LEUE, Stefan, ed., Pedro MERINO, ed., 2008. Formal methods for industrial critical systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, revised selected papers. Berlin [u.a.] : Springer. ISBN 978-3-540-79706-7

@proceedings{Leue2008Forma-21285, publisher={Berlin [u.a.] : Springer}, series={Lecture Notes in Computer Science;4916}, title={Formal methods for industrial critical systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, revised selected papers}, year={2008}, editor={Leue, Stefan and Merino, Pedro} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/21285"> <dcterms:issued>2008</dcterms:issued> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:rights rdf:resource="https://kops.uni-konstanz.de/page/termsofuse"/> <dc:contributor>Merino, Pedro</dc:contributor> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-01-30T08:22:18Z</dc:date> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:title>Formal methods for industrial critical systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, revised selected papers</dcterms:title> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-01-30T08:22:18Z</dcterms:available> <bibo:issn>978-3-540-79706-7</bibo:issn> <dc:language>eng</dc:language> <dc:rights>terms-of-use</dc:rights> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/21285"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:publisher>Berlin [u.a.] : Springer</dc:publisher> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account