Parallel Model Checking for {LTL}, {CTL{$^{\ast}$}} and {$L_μ^2$}
| Title | Parallel Model Checking for {LTL}, {CTL{$^{\ast}$}} and {$L_μ^2$} |
| Publication Type | Conference Paper |
| Year of Publication | 2003 |
| Authors | Leucker, M, Somla, R, Weber, M |
| Editor | Brim, L, Grumberg, O |
| Conference Name | Electronic Notes in Theoretical Computer Science |
| Volume | 89 |
| Publisher | Elsevier Science Publishers |
Bibtex:
@inproceedings {LeuckerSW03,
title = {Parallel Model Checking for {LTL}, {CTL{$^{\ast}$}} and {$L_μ^2$}},
booktitle = {Electronic Notes in Theoretical Computer Science},
volume = {89},
year = {2003},
publisher = {Elsevier Science Publishers},
organization = {Elsevier Science Publishers},
author = {Martin Leucker and Rafal Somla and Michael Weber},
editor = {Lubos Brim and Orna Grumberg}
}PDF:
Postscript:
