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...
Vorschaubild

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

1999

Autor:innen

Herausgeber:innen

Dams, Dennis
Gerth, Rob
Massink, Mieke
Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

978-3-540-66499-4
Bibliografische Daten

Verlag

Berlin: Springer

Schriftenreihe

Lecture Notes in Computer Science; 1680

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

Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690DAMS, 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
BibTex
@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>

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