TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

On Equivalence-Completions of Fairness Assumptions

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
Sivut582-591
JulkaisuInternational Journal of Formal Methods
Vuosikerta4
Numero6
TilaJulkaistu - 1992
OKM-julkaisutyyppiA1 Alkuperäisartikkeli

Julkaisufoorumi-taso