Sciweavers

Share
TAGT
1998
Springer

A Fully Abstract Model for Graph-Interpreted Temporal Logic

9 years 18 days ago
A Fully Abstract Model for Graph-Interpreted Temporal Logic
Fabio Gadducci, Reiko Heckel, Manuel Koch
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1998
Where TAGT
Authors Fabio Gadducci, Reiko Heckel, Manuel Koch
Comments (0)
books