TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Verification-Friendly Specification of Distributed Systems

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
Sivut480-483
TilaJulkaistu - 2000
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa

Julkaisufoorumi-taso