Temporal Specifications with Accumulative Values.

Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman

Browse the full LICS paper archive.