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:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" 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> <dcterms:issued>2003</dcterms:issued> <dc:contributor>Leue, Stefan</dc:contributor> <dc:rights>deposit-license</dc:rights> <dc:creator>Biechele, Peter</dc:creator> <dc:contributor>Biechele, Peter</dc:contributor> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/22201"/> <dcterms:title>Explicit state model checking in the development process for interlocking software systems</dcterms:title> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <dc:language>eng</dc:language> <dc:creator>Leue, Stefan</dc:creator> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

biechele_222017.pdf 70

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto