A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems (1997)

by Nancy Lynch , Roberto Segala
Venue:Formal Aspects of Computing
Citations:6 - 1 self