Alleviating State Explosion During Verification of Behavioral Equivalence

Julkaisun otsikon käännös: Alleviating State Explosion During Verification of Behavioral Equivalence

Tutkimustuotos: Tutkimusraportti

Julkaisun otsikon käännös	Alleviating State Explosion During Verification of Behavioral Equivalence
Alkuperäiskieli	Englanti
Kustantaja	University of Helsinki
Sivumäärä	57
Tila	Julkaistu - 1992
OKM-julkaisutyyppi	D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys

Nimi	Report of Dept. of Computer Science, University of Helsinki
Kustantaja	University of Helsinki
Numero	A-1991-4

Julkaisufoorumi-taso

@book{cff2476d83fc4b789eeef7a387089ef8,

title = "Alleviating State Explosion During Verification of Behavioral Equivalence",

author = "A. Valmari",

note = "Contribution: organisation=ohj,FACT1=1",

year = "1992",

language = "English",

series = "Report of Dept. of Computer Science, University of Helsinki",

publisher = "University of Helsinki",

number = "A-1991-4",

address = "Finland",

}

TY - BOOK

T1 - Alleviating State Explosion During Verification of Behavioral Equivalence

AU - Valmari, A.

N1 - Contribution: organisation=ohj,FACT1=1

PY - 1992

Y1 - 1992

M3 - Commissioned report

T3 - Report of Dept. of Computer Science, University of Helsinki

BT - Alleviating State Explosion During Verification of Behavioral Equivalence

PB - University of Helsinki

ER -