Verifying networks of timed processes

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/bfb0054179 ◽

1998 ◽

pp. 298-312 ◽

Cited By ~ 34

Author(s):

Parosh Aziz Abdulla ◽

Bengt Jonsson

Download Full-text