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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Ninth Asia-Pacific Software Engineering Conference (APSEC 2002, Gold Coast, Queensland, Australia, December 4-12, 2002)
Redacteuren	P. Strooper, P. Muenchaisri
Plaats van productie	Los Alamitos
Uitgeverij	IEEE Computer Society
Pagina's	227-235
ISBN van geprinte versie	0-7695-1850-8
Status	Gepubliceerd - 2002
Evenement	9th Asia-Pacific Software Engineering Conference (APSEC 2002), December 4-6, 2002, Gold Coast, Australia - Gold Coast, Australië Duur: 4 dec. 2002 → 6 dec. 2002

Congres

Congres	9th Asia-Pacific Software Engineering Conference (APSEC 2002), December 4-6, 2002, Gold Coast, Australia
Verkorte titel	APSEC 2002
Land/Regio	Australië
Stad	Gold Coast
Periode	4/12/02 → 6/12/02
Ander	9th Asia-Pacific Software Engineering Conference (APSEC 2002)

Citeer dit

@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 (reds.), Ninth Asia-Pacific Software Engineering Conference (APSEC 2002, Gold Coast, Queensland, Australia, December 4-12, 2002). IEEE Computer Society, Los Alamitos, blz. 227-235, 9th Asia-Pacific Software Engineering Conference (APSEC 2002), December 4-6, 2002, Gold Coast, Australia, Gold Coast, Australië, 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). reds. / P. Strooper; P. Muenchaisri. Los Alamitos: IEEE Computer Society, 2002. blz. 227-235.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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 -