On the Benefits of Using the Up-To Techniques for Bisimulation Verification

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

10.1007/3-540-49059-0_20 ◽

1999 ◽

pp. 285-299 ◽

Author(s):

Daniel Hirschkoff

Download Full-text