TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Improvements in state space representation and model checking algorithms

Tutkimustuotos

Yksityiskohdat

AlkuperäiskieliEnglanti
JulkaisupaikkaTampere
KustantajaTampere University of Technology
TilaJulkaistu - 2006
OKM-julkaisutyyppiG5 Artikkeliväitöskirja

Julkaisusarja

NimiTampereen teknillinen yliopisto. Julkaisu
KustantajaTampere University of Technology
Vuosikerta591

Julkaisufoorumi-taso