TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Towards Analysis and Verification of Concurrent Systems by State Space Generation

Tutkimustuotos

Yksityiskohdat

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

Julkaisusarja

NimiTampereen teknillinen korkeakoulu. Julkaisuja
KustantajaTampere University of Technology

Julkaisufoorumi-taso