Automatic verification of finite-state concurrent systems [chapter]

Edmund M. Clarke
1994 Lecture Notes in Computer Science  
doi:10.1007/3-540-58152-9_1 fatcat:x45iuwj33vh3hmah7rhbcs3kvu