Publikation: Theoretical and practical aspects of SPIN Model checking : 5th and 6th international SPIN workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999; proceedings
Lade...
Dateien
Zu diesem Dokument gibt es keine Dateien.
Datum
1999
Autor:innen
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
978-3-540-66499-4
Bibliografische Daten
Verlag
Berlin: Springer
Schriftenreihe
Lecture Notes in Computer Science; 1680
Auflagebezeichnung
URI (zitierfähiger Link)
DOI (zitierfähiger Link)
Internationale Patentnummer
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Publikationstyp
Konferenzband
Publikationsstatus
Published
Erschienen in
Zusammenfassung
Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
004 Informatik
Schlagwörter
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690
DAMS, Dennis, ed., Rob GERTH, ed., Stefan LEUE, ed., Mieke MASSINK, ed., 1999. Theoretical and practical aspects of SPIN Model checking : 5th and 6th international SPIN workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999; proceedings. Berlin: Springer. ISBN 978-3-540-66499-4BibTex
@proceedings{Dams1999Theor-20737, year={1999}, doi={10.1007/3-540-48234-2}, publisher={Springer}, address={Berlin}, series={Lecture Notes in Computer Science}, title={Theoretical and practical aspects of SPIN Model checking : 5th and 6th international SPIN workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999; proceedings}, number={1680}, editor={Dams, Dennis and Gerth, Rob and Leue, Stefan and Massink, Mieke} }
RDF
<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/server/rdf/resource/123456789/20737"> <dc:contributor>Leue, Stefan</dc:contributor> <dc:contributor>Massink, Mieke</dc:contributor> <bibo:issn>978-3-540-66499-4</bibo:issn> <dcterms:issued>1999</dcterms:issued> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-10-29T13:57:53Z</dc:date> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-10-29T13:57:53Z</dcterms:available> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:language>eng</dc:language> <dc:rights>terms-of-use</dc:rights> <dc:contributor>Gerth, Rob</dc:contributor> <dc:publisher>Springer</dc:publisher> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/20737"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/> <foaf:homepage rdf:resource="http://localhost:8080/"/> <dc:contributor>Dams, Dennis</dc:contributor> <dc:publisher>Berlin</dc:publisher> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dcterms:title>Theoretical and practical aspects of SPIN Model checking : 5th and 6th international SPIN workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999; proceedings</dcterms:title> </rdf:Description> </rdf:RDF>