Abstraction and flow analysis for model checking open asynchronous systems

N. Ioustinova; N. Sidorova; M. Steffen

Abstraction and flow analysis for model checking open asynchronous systems

N. Ioustinova
, N. Sidorova
, M. Steffen

Process Analytics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Ninth Asia-Pacific Software Engineering Conference (APSEC 2002, Gold Coast, Queensland, Australia, December 4-12, 2002)
Editors	P. Strooper, P. Muenchaisri
Place of Publication	Los Alamitos
Publisher	IEEE Computer Society
Pages	227-235
ISBN (Print)	0-7695-1850-8
Publication status	Published - 2002
Event	9th Asia-Pacific Software Engineering Conference (APSEC 2002), December 4-6, 2002, Gold Coast, Australia - Gold Coast, Australia Duration: 4 Dec 2002 → 6 Dec 2002

Conference

Conference	9th Asia-Pacific Software Engineering Conference (APSEC 2002), December 4-6, 2002, Gold Coast, Australia
Abbreviated title	APSEC 2002
Country/Territory	Australia
City	Gold Coast
Period	4/12/02 → 6/12/02

Cite this

@inproceedings{d1428f13e55a48c88150b979eef5b553,

title = "Abstraction and flow analysis for model checking open asynchronous systems",

author = "N. Ioustinova and N. Sidorova and M. Steffen",

year = "2002",

language = "English",

isbn = "0-7695-1850-8",

pages = "227--235",

editor = "P. Strooper and P. Muenchaisri",

booktitle = "Ninth Asia-Pacific Software Engineering Conference (APSEC 2002, Gold Coast, Queensland, Australia, December 4-12, 2002)",

publisher = "IEEE Computer Society",

address = "United States",

note = "9th Asia-Pacific Software Engineering Conference (APSEC 2002), December 4-6, 2002, Gold Coast, Australia, APSEC 2002 ; Conference date: 04-12-2002 Through 06-12-2002",

}

Ioustinova, N, Sidorova, N & Steffen, M 2002, Abstraction and flow analysis for model checking open asynchronous systems. in P Strooper & P Muenchaisri (eds), Ninth Asia-Pacific Software Engineering Conference (APSEC 2002, Gold Coast, Queensland, Australia, December 4-12, 2002). IEEE Computer Society, Los Alamitos, pp. 227-235, 9th Asia-Pacific Software Engineering Conference (APSEC 2002), December 4-6, 2002, Gold Coast, Australia, Gold Coast, Australia, 4/12/02.

Abstraction and flow analysis for model checking open asynchronous systems. / Ioustinova, N.; Sidorova, N.; Steffen, M.
Ninth Asia-Pacific Software Engineering Conference (APSEC 2002, Gold Coast, Queensland, Australia, December 4-12, 2002). ed. / P. Strooper; P. Muenchaisri. Los Alamitos: IEEE Computer Society, 2002. p. 227-235.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Ioustinova, N.

AU - Sidorova, N.

AU - Steffen, M.

PY - 2002

Y1 - 2002

M3 - Conference contribution

SN - 0-7695-1850-8

SP - 227

EP - 235

BT - Ninth Asia-Pacific Software Engineering Conference (APSEC 2002, Gold Coast, Queensland, Australia, December 4-12, 2002)

A2 - Strooper, P.

A2 - Muenchaisri, P.

PB - IEEE Computer Society

CY - Los Alamitos

T2 - 9th Asia-Pacific Software Engineering Conference (APSEC 2002), December 4-6, 2002, Gold Coast, Australia

Y2 - 4 December 2002 through 6 December 2002

ER -