Publikation: Model checking software : 9th international SPIN workshop Grenoble, France, April 11–13, 2002; proceedings
Lade...
Dateien
Zu diesem Dokument gibt es keine Dateien.
Datum
2002
Autor:innen
Herausgeber:innen
Bošnacki, Dragan
ISSN der Zeitschrift
Electronic ISSN
ISBN
978-3-540-43477-1
Bibliografische Daten
Verlag
Berlin: Springer
Schriftenreihe
Lecture Notes in Computer Science; 2318
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
9th International SPIN Workshop, 11. Apr. 2002 - 13. Apr. 2002, Grenoble, France
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690
BOŠNACKI, Dragan, ed., Stefan LEUE, ed., 2002. Model checking software : 9th international SPIN workshop Grenoble, France, April 11–13, 2002; proceedings. 9th International SPIN Workshop. Grenoble, France, 11. Apr. 2002 - 13. Apr. 2002. Berlin: Springer. ISBN 978-3-540-43477-1BibTex
@proceedings{Bosnacki2002Model-20736, year={2002}, doi={10.1007/3-540-46017-9}, publisher={Springer}, address={Berlin}, series={Lecture Notes in Computer Science}, title={Model checking software : 9th international SPIN workshop Grenoble, France, April 11–13, 2002; proceedings}, number={2318}, editor={Bošnacki, Dragan and Leue, Stefan} }
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/20736"> <dcterms:issued>2002</dcterms:issued> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-10-29T14:02:56Z</dcterms:available> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/> <dc:contributor>Bošnacki, Dragan</dc:contributor> <dc:language>eng</dc:language> <dc:publisher>Springer</dc:publisher> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/20736"/> <dcterms:title>Model checking software : 9th international SPIN workshop Grenoble, France, April 11–13, 2002; proceedings</dcterms:title> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/> <dc:publisher>Berlin</dc:publisher> <dc:rights>terms-of-use</dc:rights> <bibo:issn>978-3-540-43477-1</bibo:issn> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-10-29T14:02:56Z</dc:date> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <foaf:homepage rdf:resource="http://localhost:8080/"/> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> </rdf:Description> </rdf:RDF>