Search results
NATO Science Series II: Mathematics, Physics and Chemistry > Engineering Theories of Software Intensive Systems > System and Program Verification, Model Checking and Theorem Proving > 177-213
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 201-284