TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear Temporal Logic

Tutkimustuotos

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoLecture Notes in Computer Science 630, CONCUR'92, Third Int. Conference on Concurrency Theory, Stony Brook, NY, USA, August 1992
KustantajaSpringer Verlag
Sivut207-221
TilaJulkaistu - 1992
OKM-julkaisutyyppiB3 Artikkeli konferenssijulkaisussa

Julkaisufoorumi-taso