Sciweavers

Share
TAGT
1998
Springer

A Fully Abstract Model for Graph-Interpreted Temporal Logic

10 years 8 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