KOPS - Das Institutionelle Repositorium der Universität 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

Zitieren

Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

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="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <dc:contributor>Merino, Pedro</dc:contributor> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-01-30T08:22:18Z</dc:date> <dc:rights>deposit-license</dc:rights> <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> <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>

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto