Logics for Mazurkiewicz traces
| Title | Logics for Mazurkiewicz traces |
| Publication Type | Thesis |
| Year of Publication | 2002 |
| Authors | Leucker, M |
| University | Lehrstuhl für Informatik II, RWTH Aachen |
| Thesis Type | phd |
| URL | http://aib.informatik.rwth-aachen.de/2002/2002-10.pdf |
Bibtex:
@mastersthesis {Leucker02,
title = {Logics for Mazurkiewicz traces},
year = {2002},
school = {Lehrstuhl f{\"u}r Informatik II, RWTH Aachen},
type = {phd},
url = {http://aib.informatik.rwth-aachen.de/2002/2002-10.pdf},
author = {Martin Leucker}
}PDF:
