On the Expressiveness of MTL with Past Operators

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/11867340_23 ◽

2006 ◽

pp. 322-336 ◽

Cited By ~ 10

Author(s):

Pavithra Prabhakar ◽

Deepak D’Souza