A light-weight algorithm for model checking with symmetry reduction and weak fairness

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

Original language	English
Title of host publication	Model Checking Software (10th International SPIN Workshop, Portland OR, USA, May 9-10, 2003. Proceedings)
Editors	T. Ball, S.K. Rajamani
Place of Publication	Berlin
Publisher	Springer
Pages	89-103
ISBN (Print)	3-540-40117-2
Publication status	Published - 2003

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

Cite this

@inproceedings{df3e1240abf742a7855e4d390975547c,

title = "A light-weight algorithm for model checking with symmetry reduction and weak fairness",

author = "D. Bosnacki",

year = "2003",

language = "English",

isbn = "3-540-40117-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "89--103",

editor = "T. Ball and S.K. Rajamani",

booktitle = "Model Checking Software (10th International SPIN Workshop, Portland OR, USA, May 9-10, 2003. Proceedings)",

}

A light-weight algorithm for model checking with symmetry reduction and weak fairness. / Bosnacki, D.
Model Checking Software (10th International SPIN Workshop, Portland OR, USA, May 9-10, 2003. Proceedings). ed. / T. Ball; S.K. Rajamani. Berlin: Springer, 2003. p. 89-103 (Lecture Notes in Computer Science; Vol. 2648).

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

TY - GEN

T1 - A light-weight algorithm for model checking with symmetry reduction and weak fairness

AU - Bosnacki, D.

PY - 2003

Y1 - 2003

M3 - Conference contribution

SN - 3-540-40117-2

T3 - Lecture Notes in Computer Science

SP - 89

EP - 103

BT - Model Checking Software (10th International SPIN Workshop, Portland OR, USA, May 9-10, 2003. Proceedings)

A2 - Ball, T.

A2 - Rajamani, S.K.

PB - Springer

CY - Berlin

ER -