You are here

Home › Research › Publications ›

Deciding {LTL} over {M}azurkiewicz Traces

TitleDeciding {LTL} over {M}azurkiewicz Traces
Publication TypeConference Paper
Year of Publication2000
AuthorsBenedikt Bollig, Henriksen, J, Leucker, M
EditorFreund, R
Conference NameTheorietag 2000 mit Workshop ``New Computing Paradigms: Molecular Computing and Quantum Computing''
PublisherVienna University of Technology
ISBN Number3-85028-325-9
URLhttp://www-i2.informatik.rwth-aachen.de/leucker/Literatur/Ps_files/BHL__vienna00_paper.ps.gz
Bibtex: 
@inproceedings {BHL00a,
	title = {Deciding {LTL} over {M}azurkiewicz Traces},
	booktitle = {Theorietag 2000 mit Workshop {\textquoteleft}{\textquoteleft}New Computing Paradigms: Molecular Computing and Quantum Computing{\textquoteright}{\textquoteright}},
	year = {2000},
	pages = {167{\textendash}174},
	publisher = {Vienna University of Technology},
	organization = {Vienna University of Technology},
	isbn = {3-85028-325-9},
	url = {http://www-i2.informatik.rwth-aachen.de/leucker/Literatur/Ps_files/BHL__vienna00_paper.ps.gz},
	author = {Benedikt Bollig and J. Henriksen and Martin Leucker},
	editor = {R. Freund}
}