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

Zitieren

Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

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

@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:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/20737"> <dc:publisher>Springer</dc:publisher> <dc:contributor>Gerth, Rob</dc:contributor> <dc:language>eng</dc:language> <dc:contributor>Dams, Dennis</dc:contributor> <dcterms:issued>1999</dcterms:issued> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/20737"/> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <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: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:rights>deposit-license</dc:rights> <dc:contributor>Leue, Stefan</dc:contributor> <dc:publisher>Berlin</dc:publisher> <dc:contributor>Massink, Mieke</dc:contributor> <bibo:issn>978-3-540-66499-4</bibo:issn> </rdf:Description> </rdf:RDF>

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto