Erfüllbarkeit globaler Spurlogiken mittels alternierender Automaten

TitleErfüllbarkeit globaler Spurlogiken mittels alternierender Automaten
Publication TypeConference Paper
Year of Publication1999
AuthorsLeucker, M
EditorF. Otto,, G. Niemann,
Conference Name9. Theorietag der GI–Fachgruppe 0.1.5 ``Automaten und Formale Sprachen''
SeriesPreprint
Volume12/99
PublisherUniversity of Kassel
Bibtex: 
@inproceedings {L99b,
	title = {Erf{\"u}llbarkeit globaler Spurlogiken mittels alternierender Automaten},
	booktitle = {9.~Theorietag der GI{\textendash}Fachgruppe 0.1.5 {\textquoteleft}{\textquoteleft}Automaten und Formale Sprachen{\textquoteright}{\textquoteright}},
	series = {Preprint},
	volume = {12/99},
	year = {1999},
	pages = {46{\textendash}47},
	publisher = {University of Kassel},
	organization = {University of Kassel},
	author = {Martin Leucker},
	editor = {F.~Otto and G.~Niemann}
}