You are here

Home › Research › Publications ›

Deciding {LTL} over {M}azurkiewicz traces

TitleDeciding {LTL} over {M}azurkiewicz traces
Publication TypeMiscellaneous
Year of Publication2001
AuthorsBenedikt Bollig, Leucker, M
URLPS # "bollig_leucker__deciding_ltl.ps.gz"
Bibtex: 
@booklet {BolligLeucker01,
	title = {Deciding {LTL} over {M}azurkiewicz traces},
	number = {AIB-02-2001},
	year = {2001},
	publisher = {RWTH Aachen},
	url = {PS $\#$ "bollig_leucker__deciding_ltl.ps.gz"},
	author = {Benedikt Bollig and Martin Leucker}
}