Sciweavers

TAGT
1998
Springer

A Fully Abstract Model for Graph-Interpreted Temporal Logic

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