Local Parallel Model Checking for the Alternation-Free mu-Calculus

TitleLocal Parallel Model Checking for the Alternation-Free mu-Calculus
Publication TypeConference Paper
Year of Publication2002
AuthorsBenedikt Bollig, Leucker, M, Weber, M
Conference NameProceedings of the 9th International SPIN Workshop on Model checking of Software (SPIN '02)
SeriesLecture Notes in Computer Science
Volume2318
PublisherSpringer-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}
}