Sciweavers

CONCUR
2005
Springer

Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces

13 years 9 months ago
Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces
Paul Gastin, Dietrich Kuske
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CONCUR
Authors Paul Gastin, Dietrich Kuske
Comments (0)