Deciding {LTL} over {M}azurkiewicz Traces
| Title | Deciding {LTL} over {M}azurkiewicz Traces |
| Publication Type | Journal Article |
| Year of Publication | 2003 |
| Authors | Benedikt Bollig, Leucker, M |
| Journal | Data & Knowledge Engineering |
| Volume | 44/2 |
| Pagination | 221–240 |
| URL | http://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}
}PDF:
