Search results for: Dennis Dams
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Model Checking II > 310-323
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model-Checking Tools > 363-377
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Abstract Model Checking > 216-232
Lecture Notes in Computer Science > Computer Aided Verification > Program Analysis and Verification I > 449-461
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Logic and Automata > 276-290
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 518-533
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 307-310
Lecture Notes in Computer Science
Bell Labs Technical Journal > 16 > 4 > 219 - 242
Bell Labs Technical Journal > 2011 > 16 > 4 > 219 - 242