Abstraction and flow analysis for model checking open asynchronous systems

N. Ioustinova, N. Sidorova, M. Steffen

Onderzoeksoutput: Boek/rapportRapportAcademic

5 Citaten (Scopus)
Originele taal-2Engels
Plaats van productieAmsterdam
UitgeverijCentrum voor Wiskunde en Informatica
Aantal pagina's14
StatusGepubliceerd - 2002

Publicatie series

NaamCWI report. SEN-R : software engineering
Volume0228
ISSN van geprinte versie1386-369X

Citeer dit

Ioustinova, N., Sidorova, N., & Steffen, M. (2002). Abstraction and flow analysis for model checking open asynchronous systems. (CWI report. SEN-R : software engineering; Vol. 0228). Centrum voor Wiskunde en Informatica.