The Automata-Theoretic Approach Works for Global Trace Logics

TitleThe Automata-Theoretic Approach Works for Global Trace Logics
Publication TypeConference Paper
Year of Publication1999
AuthorsHenriksen, J, Leucker, M
Conference NameProceedings of the 11th Nordic Workshop on Programming Theory
PublisherUppsala University
Bibtex: 
@inproceedings {HenLeu99,
	title = {The Automata-Theoretic Approach Works for Global Trace Logics},
	booktitle = {Proceedings of the 11th Nordic Workshop on Programming Theory},
	year = {1999},
	publisher = {Uppsala University},
	organization = {Uppsala University},
	author = {J. Henriksen and Martin Leucker}
}