TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Question-guided stubborn set methods for state properties

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
Sivut215-251
JulkaisuFormal Methods in System Design
Vuosikerta29
Numero3
TilaJulkaistu - 2006
OKM-julkaisutyyppiA1 Alkuperäisartikkeli

Julkaisufoorumi-taso