Abstraction and flow analysis for model checking open asynchronous systems

N. Ioustinova, N. Sidorova, M. Steffen

Research output: Book/ReportReportAcademic

5 Citations (Scopus)
Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Number of pages14
Publication statusPublished - 2002

Publication series

NameCWI report. SEN-R : software engineering
Volume0228
ISSN (Print)1386-369X

Cite this

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). Amsterdam: Centrum voor Wiskunde en Informatica.