Sciweavers

ICALP
2000
Springer

LTL Is Expressively Complete for Mazurkiewicz Traces

14 years 3 months ago
LTL Is Expressively Complete for Mazurkiewicz Traces
Volker Diekert, Paul Gastin
Added 24 Aug 2010
Updated 24 Aug 2010
Type Conference
Year 2000
Where ICALP
Authors Volker Diekert, Paul Gastin
Comments (0)