KOPS - The Institutional Repository of the University of Konstanz

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

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

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

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-4. Available under: doi: 10.1007/3-540-48234-2

@proceedings{Dams1999Theor-20737, publisher={Springer}, 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}, year={1999}, doi={10.1007/3-540-48234-2}, number={1680}, address={Berlin}, editor={Dams, Dennis and Gerth, Rob and Leue, Stefan and Massink, Mieke} }

<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/20737"> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:publisher>Springer</dc:publisher> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:contributor>Gerth, Rob</dc:contributor> <dc:language>eng</dc:language> <dc:rights>terms-of-use</dc:rights> <dc:contributor>Dams, Dennis</dc:contributor> <dcterms:issued>1999</dcterms:issued> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/20737"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-10-29T13:57:53Z</dc:date> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-10-29T13:57:53Z</dcterms:available> <dcterms:rights rdf:resource="https://kops.uni-konstanz.de/page/termsofuse"/> <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> <dc:contributor>Leue, Stefan</dc:contributor> <dc:contributor>Massink, Mieke</dc:contributor> <dc:publisher>Berlin</dc:publisher> <bibo:issn>978-3-540-66499-4</bibo:issn> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account