TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Verifying Safety by Combining Joint Actions with a Process-Algebraic Approach

Tutkimustuotos

Yksityiskohdat

AlkuperäiskieliEnglanti
JulkaisupaikkaTampere
KustantajaTampereen teknillinen korkeakoulu
Sivumäärä27
ISBN (painettu)952-15-0230-4
TilaJulkaistu - 1999
OKM-julkaisutyyppiD4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys

Julkaisusarja

NimiTampereen teknillinen korkeakoulu, Ohjelmistotekniikan laitos, Raportti
KustantajaTampereen teknillinen korkeakoulu
Numero19

Julkaisufoorumi-taso