Sciweavers

Share
LPAR
2010
Springer

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

8 years 3 months 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)
books