TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoComputer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings
ToimittajatArmin Biere, Roderick Bloem
KustantajaSpringer International Publishing
Sivut391-406
Sivumäärä16
ISBN (elektroninen)978-3-319-08867-9
ISBN (painettu)978-3-319-08866-2
DOI - pysyväislinkit
TilaJulkaistu - 2014
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa
TapahtumaComputer Aided Verification -
Kesto: 1 tammikuuta 2014 → …

Julkaisusarja

NimiLecture Notes in Computer Science
Vuosikerta8559
ISSN (painettu)0302-9743

Conference

ConferenceComputer Aided Verification
Ajanjakso1/01/14 → …

Julkaisufoorumi-taso