Local Parallel Model Checking for the Alternation-Free mu-Calculus
| Title | Local Parallel Model Checking for the Alternation-Free mu-Calculus |
| Publication Type | Conference Paper |
| Year of Publication | 2002 |
| Authors | Benedikt Bollig, Leucker, M, Weber, M |
| Conference Name | Proceedings of the 9th International SPIN Workshop on Model checking of Software (SPIN '02) |
| Series | Lecture Notes in Computer Science |
| Volume | 2318 |
| Publisher | Springer-Verlag Inc. |
Bibtex:
@inproceedings {BLW02,
title = {Local Parallel Model Checking for the Alternation-Free mu-Calculus},
booktitle = {Proceedings of the 9th International SPIN Workshop on Model checking of Software (SPIN {\textquoteright}02)},
series = {Lecture Notes in Computer Science},
volume = {2318},
year = {2002},
publisher = {Springer-Verlag Inc.},
organization = {Springer-Verlag Inc.},
author = {Benedikt Bollig and Martin Leucker and Michael Weber}
}PDF:
