Publikation:

Model checking software : 9th international SPIN workshop Grenoble, France, April 11–13, 2002; proceedings

Lade...
Vorschaubild

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2002

Autor:innen

Herausgeber:innen

Bošnacki, Dragan
Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

978-3-540-43477-1
Bibliografische Daten

Verlag

Berlin: Springer

Schriftenreihe

Lecture Notes in Computer Science; 2318

Auflagebezeichnung

ArXiv-ID

Internationale Patentnummer

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung
Core Facility der Universität Konstanz

Gesperrt bis

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

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690BOŠ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-1
BibTex
@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>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Begutachtet
Diese Publikation teilen