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