You are here

Home › Research › Publications ›

Deciding {LTL} over {M}azurkiewicz Traces

TitleDeciding {LTL} over {M}azurkiewicz Traces
Publication TypeConference Paper
Year of Publication2001
AuthorsBenedikt Bollig, Leucker, M
EditorBettini, C, Montanari, A
Conference NameProceedings of the Symposium on Temporal Representation and Reasoning {(TIME'01)}
PublisherIEEE Computer Society Press
URLPS # "bollig_leucker__deciding_ltl.ps.gz"
Bibtex: 
@inproceedings {BolligLeucker01a,
	title = {Deciding {LTL} over {M}azurkiewicz Traces},
	booktitle = {Proceedings of the Symposium on Temporal Representation and Reasoning {(TIME{\textquoteright}01)}},
	year = {2001},
	pages = {189{\textendash}197},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	url = {PS $\#$ "bollig_leucker__deciding_ltl.ps.gz"},
	author = {Benedikt Bollig and Martin Leucker},
	editor = {Claudio Bettini and Angelo Montanari}
}