KOPS - The Institutional Repository of the University of Konstanz

Explicit state model checking in the development process for interlocking software systems

Explicit state model checking in the development process for interlocking software systems

Cite This

Files in this item

Checksum: MD5:13b7577dfbbfdb448cd0b256e78e86fa

BIECHELE, Peter, Stefan LEUE, 2003. Explicit state model checking in the development process for interlocking software systems

@misc{Biechele2003Expli-22201, title={Explicit state model checking in the development process for interlocking software systems}, year={2003}, author={Biechele, Peter and Leue, Stefan} }

<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/22201"> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-03-28T09:46:20Z</dc:date> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-03-28T09:46:20Z</dcterms:available> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:issued>2003</dcterms:issued> <dc:creator>Biechele, Peter</dc:creator> <dc:contributor>Biechele, Peter</dc:contributor> <dc:rights>terms-of-use</dc:rights> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/22201"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:title>Explicit state model checking in the development process for interlocking software systems</dcterms:title> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/22201/2/biechele_222017.pdf"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:language>eng</dc:language> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dc:creator>Leue, Stefan</dc:creator> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/22201/2/biechele_222017.pdf"/> </rdf:Description> </rdf:RDF>

Downloads since Oct 1, 2014 (Information about access statistics)

biechele_222017.pdf 232

This item appears in the following Collection(s)

Search KOPS


Browse

My Account