Nancy A. Lynch, Roberto Segala. A Comparison of Simulation Techniques and Algebraic Tachniques for Verifying Concurrent Systems. Formal Asp. Comput., 7(3):231-265, 1995.
No references recorded for this publication.
No citations of this publication recorded.