Local Parallel Model Checking for the Alternation Free $μ$–Calculus
| Title | Local Parallel Model Checking for the Alternation Free $μ$–Calculus |
| Publication Type | Miscellaneous |
| Year of Publication | 2001 |
| Authors | Benedikt Bollig, Leucker, M, Weber, M |
| URL | http://aib.informatik.rwth-aachen.de/2001/2001-04.ps.gz |
Bibtex:
@booklet {BolligLeuckerWeber01,
title = {Local Parallel Model Checking for the Alternation Free $μ${\textendash}Calculus},
number = {AIB-04-2001},
year = {2001},
publisher = {RWTH Aachen},
url = {http://aib.informatik.rwth-aachen.de/2001/2001-04.ps.gz},
author = {Benedikt Bollig and Martin Leucker and Michael Weber}
}Postscript:
