Deciding {LTL} over {M}azurkiewicz Traces

TitleDeciding {LTL} over {M}azurkiewicz Traces
Publication TypeJournal Article
Year of Publication2003
AuthorsBenedikt Bollig, Leucker, M
JournalData & Knowledge Engineering
Volume44/2
Pagination221–240
URLhttp://www.sciencedirect.com/science?_ob=GatewayURL&_origin=compsciportal&_method=citationSearch&_urlversion=4&_version=1&_piikey=S0169023X02001362&md5=f40b45623c37bf5cda16337b84ccffe5
Bibtex: 
@article {BolligLeucker02a,
	title = {Deciding {LTL} over {M}azurkiewicz Traces},
	journal = {Data \& Knowledge Engineering},
	volume = {44/2},
	year = {2003},
	pages = {221{\textendash}240},
	url = {http://www.sciencedirect.com/science?_ob=GatewayURL\&_origin=compsciportal\&_method=citationSearch\&_urlversion=4\&_version=1\&_piikey=S0169023X02001362\&md5=f40b45623c37bf5cda16337b84ccffe5},
	author = {Benedikt Bollig and Martin Leucker}
}