TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Constructing Minimal Coverability Sets

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoReachability Problems. Proceedings of the 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013
ToimittajatParosh Aziz Abdulla, Igor Potapov
JulkaisupaikkaBerlin Heidelberg
KustantajaSpringer
Sivut183-195
Sivumäärä13
ISBN (elektroninen)978-3-642-41036-9
ISBN (painettu)978-3-642-41035-2
DOI - pysyväislinkit
TilaJulkaistu - 2013
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa

Julkaisusarja

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

Julkaisufoorumi-taso