DMCA

Temporal specifications with accumulative values (2011)

by Udi Boker , Krishnendu Chatterjee , Thomas A. Henzinger , Orna Kupferman
Venue:In LICS
Citations:21 - 10 self