Using fairness to make abstractions work

D. Bosnacki; N. Ioustinova; N. Sidorova

Using fairness to make abstractions work

D. Bosnacki
, N. Ioustinova
, N. Sidorova

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

3 Downloads (Pure)

Original language	English
Title of host publication	Model Checking Software (Proceedings 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004)
Editors	S. Graf, L. Mounier
Place of Publication	Berlin
Publisher	Springer
Pages	198-215
ISBN (Print)	3-540-21314-7
Publication status	Published - 2004

Publication series

Name	Lecture Notes in Computer Science
Volume	2989
ISSN (Print)	0302-9743

Cite this

@inproceedings{edb07f0d331b4fe8be376ec2ef1574ab,

title = "Using fairness to make abstractions work",

author = "D. Bosnacki and N. Ioustinova and N. Sidorova",

year = "2004",

language = "English",

isbn = "3-540-21314-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "198--215",

editor = "S. Graf and L. Mounier",

booktitle = "Model Checking Software (Proceedings 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004)",

address = "Germany",

}

Using fairness to make abstractions work. / Bosnacki, D.; Ioustinova, N.; Sidorova, N.
Model Checking Software (Proceedings 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004). ed. / S. Graf; L. Mounier. Berlin: Springer, 2004. p. 198-215 (Lecture Notes in Computer Science; Vol. 2989).

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

TY - GEN

T1 - Using fairness to make abstractions work

AU - Bosnacki, D.

AU - Ioustinova, N.

AU - Sidorova, N.

PY - 2004

Y1 - 2004

M3 - Conference contribution

SN - 3-540-21314-7

T3 - Lecture Notes in Computer Science

SP - 198

EP - 215

BT - Model Checking Software (Proceedings 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004)

A2 - Graf, S.

A2 - Mounier, L.

PB - Springer

CY - Berlin

ER -