Abstraction and flow analysis for model checking open asynchronous systems

N. Ioustinova, N. Sidorova, M. Steffen

Research output: Book/Report › Report › Academic

Original language	English
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Number of pages	14
Publication status	Published - 2002

Name	CWI report. SEN-R : software engineering
Volume	0228
ISSN (Print)	1386-369X

Cite this

TY - BOOK

T1 - Abstraction and flow analysis for model checking open asynchronous systems

AU - Ioustinova, N.

AU - Sidorova, N.

AU - Steffen, M.

PY - 2002

Y1 - 2002

UR - http://oai.cwi.nl/oai/asset/4174/04174D.pdf

M3 - Report

T3 - CWI report. SEN-R : software engineering

BT - Abstraction and flow analysis for model checking open asynchronous systems

PB - Centrum voor Wiskunde en Informatica

CY - Amsterdam

ER -