TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

A Chaos-free failures-divergences semantics with applications to verification

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoMillenial Perspectives in Computer Science, Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare
ToimittajatJ. Davies
JulkaisupaikkaIso Britannia
KustantajaAntony Rowe Limited
Sivut365-382
TilaJulkaistu - 2000
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa

Julkaisufoorumi-taso