TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Compositional State Space Generation. In: Advaces in Petri Nets

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoLecture Notes in Computer Science
KustantajaSpringer Verlag
Sivut427-457
TilaJulkaistu - 1993
OKM-julkaisutyyppiA3 Kirjan tai muun kokoomateoksen osa

Julkaisufoorumi-taso