You are here

Home › Research › Publications ›

Parallel Model Checking for the Alternation Free $μ$-Calculus

TitleParallel Model Checking for the Alternation Free $μ$-Calculus
Publication TypeConference Paper
Year of Publication2001
AuthorsBenedikt Bollig, Leucker, M, Weber, M
EditorMargaria, T, Yi, W
Conference NameProceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01)
SeriesLecture Notes in Computer Science
Volume2031
PublisherSpringer
Bibtex: 
@inproceedings {BLW01,
	title = {Parallel Model Checking for the Alternation Free $μ$-Calculus},
	booktitle = {Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS{\textquoteright}01)},
	series = {Lecture Notes in Computer Science},
	volume = {2031},
	year = {2001},
	pages = {543{\textendash}558},
	publisher = {Springer},
	organization = {Springer},
	author = {Benedikt Bollig and Martin Leucker and Michael Weber},
	editor = {Tiziana Margaria and Wang Yi}
}