TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

On-the-fly Verification with Stubborn Sets

Tutkimustuotos

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoProceedings of CAV'93, 5th International Conference on Computer Aided Verfication, Elounda, Greece, June 28 - July 1. Lecture Notes in Computer Science
ToimittajatC. Courcoubetis
JulkaisupaikkaBerlin
KustantajaSpringer Verlag
Sivut397-408
TilaJulkaistu - 1993
OKM-julkaisutyyppiB3 Artikkeli konferenssijulkaisussa

Julkaisufoorumi-taso