Effizientes Spielbasiertes Model Checking für den Alternierungsfreien mu-Kalkül

@inproceedings {LL98,
	title = {Effizientes Spielbasiertes Model Checking f{\"u}r den Alternierungsfreien mu-Kalk{\"u}l},
	booktitle = {8.~Theorietag der GI{\textendash}Fachgruppe 0.1.5 {\textquoteleft}{\textquoteleft}Automaten und Formale Sprachen{\textquoteright}{\textquoteright}},
	series = {Forschungsbericht},
	volume = {98{\textendash}17},
	year = {1998},
	publisher = {University of Trier},
	organization = {University of Trier},
	author = {Martin Lange and Martin Leucker},
	editor = {H.~Seidl}
}