Parallel Model Checking for {LTL}, {CTL{$^{\ast}$}} and {$L_μ^2$}

TitleParallel Model Checking for {LTL}, {CTL{$^{\ast}$}} and {$L_μ^2$}
Publication TypeConference Paper
Year of Publication2003
AuthorsLeucker, M, Somla, R, Weber, M
EditorBrim, L, Grumberg, O
Conference NameElectronic Notes in Theoretical Computer Science
PublisherElsevier Science Publishers
@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}