DMCA

A Fully Abstract Model for Graph-Interpreted Temporal Logic (2000)

Cached

Download Links

by Fabio Gadducci , Reiko Heckel , Manuel Koch
Venue:Proc. of TAGT ’00, volume 1764 of LNCS
Citations:12 - 3 self