Research on Automatic Verification of Finite-State Concurrent Systems

• 1 June 1987
• journal article
• Published by Annual Reviews in Annual Review of Computer Science
• Vol. 2  (1) , 269-290
• https://doi.org/10.1146/annurev.cs.02.060187.001413

Abstract