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

Zitieren

Dateien zu dieser Ressource

Prüfsumme: 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:rights>deposit-license</dc:rights> <dc:contributor>Biechele, Peter</dc:contributor> <dc:creator>Biechele, Peter</dc:creator> <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:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <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"/> <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>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

biechele_222017.pdf 76

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto