Parallel Model Checking for the Alternation Free $μ$-Calculus
Title | Parallel Model Checking for the Alternation Free $μ$-Calculus |
Publication Type | Conference Paper |
Year of Publication | 2001 |
Authors | Benedikt Bollig, Leucker, M, Weber, M |
Editor | Margaria, T, Yi, W |
Conference Name | Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01) |
Series | Lecture Notes in Computer Science |
Volume | 2031 |
Publisher | Springer |
Bibtex:
@inproceedings {BLW01, title = {Parallel Model Checking for the Alternation Free $μ$-Calculus}, booktitle = {Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS{\textquoteright}01)}, series = {Lecture Notes in Computer Science}, volume = {2031}, year = {2001}, pages = {543{\textendash}558}, publisher = {Springer}, organization = {Springer}, author = {Benedikt Bollig and Martin Leucker and Michael Weber}, editor = {Tiziana Margaria and Wang Yi} }
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Phillip Bende
- Martin Blankenburg
- Gerhard Buntrock
- David Caraveo
- Lukas Convent
- Normann Decker
- Sebastian Hungerecker
- Karam Kharraz
- Uwe Kienitz
- Nikolas Knickrehm
- Christian Kreutzfeldt
- Felix Lange
- Grigory Markin
- Maria Ostanina
- André Pedro
- Torben Scheffel
- Malte Schmitz
- Nina Strugalla
- Annette Stümpel
- Daniel Thoma
- Open Positions
- Contact