Sciweavers

LPAR
2010
Springer

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

14 years 10 days ago
Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation
Gourinath Banda, John P. Gallagher
Added 14 Feb 2011
Updated 14 Feb 2011
Type Journal
Year 2010
Where LPAR
Authors Gourinath Banda, John P. Gallagher
Comments (0)