TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Verifying Real-Time Joint Action Specifications Using Timed Automata

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoProceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China
ToimittajatF. Yulin
JulkaisupaikkaBeijing, China
KustantajaPublishing House of Electronics Industry, International Federation for Information Processing
Sivut516-525
TilaJulkaistu - 2000
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa

Julkaisufoorumi-taso