![](/img/cover-not-exists.png)
Pure future local temporal logics are expressively complete for Mazurkiewicz traces
Volker Diekert, Paul GastinVolume:
204
Year:
2006
Language:
english
Pages:
23
DOI:
10.1016/j.ic.2006.07.002
File:
PDF, 358 KB
english, 2006