Parallel Model Checking for the Alternation-Free Mu-Calculus

TitleParallel Model Checking for the Alternation-Free Mu-Calculus
Publication TypeConference Paper
Year of Publication2000
AuthorsLeucker, M
EditorSchellhorn, G, Reif, W
Conference NameFM-TOOLS 2000, The 4th Workshop on Tools for System Design and Verification
Volume2000-07
PublisherUlmer Informatik Berichte
Bibtex: 
@inproceedings {Leucker00,
	title = {Parallel Model Checking for the Alternation-Free Mu-Calculus},
	booktitle = {FM-TOOLS 2000, The 4th Workshop on Tools for System Design and Verification},
	volume = {2000-07},
	year = {2000},
	note = {Extended Abstract},
	pages = {135{\textendash}140},
	publisher = {Ulmer Informatik Berichte},
	organization = {Ulmer Informatik Berichte},
	author = {Martin Leucker},
	editor = {Gerhard Schellhorn and Wolfgang Reif}
}