Adding Invariants to Event Zone Automata

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

10.1007/11867340_21 ◽

2006 ◽

pp. 290-305 ◽

Cited By ~ 10

Author(s):

Peter Niebert ◽

Hongyang Qu

Download Full-text