Wyniki wyszukiwania dla: Benet Devereux
Lecture Notes in Computer Science > Model Checking Software > Technical Papers and Tool Reports > 16-36
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Implementation Techniques > 404-419
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Behavioral Models and State Machines > 122-138
Formal Methods in System Design > 2006 > 29 > 3 > 295-344