Tools and Experiments

Compositional Verification of Concurrent and Real-Time Systems ◽

10.1007/978-1-4615-1009-3_6 ◽

2002 ◽

pp. 129-142

Author(s):

Eric Y. T. Juan ◽

Jeffrey J. P. Tsai

Download Full-text