Search results for: Lisa Kaati
Lecture Notes in Computer Science > Implementation and Applications of Automata > Technical Contributions > 212-222
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking – I > 93-108
Lecture Notes in Computer Science > Implementation and Application of Automata > Technical Contributions > 31-42
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Languages and Methods for Designing and Verifying Complex Embedded Systems > 60-74
Lecture Notes in Computer Science > Implementation and Application of Automata > Technical Contributions > 173-185
Security Informatics > 2015 > 4 > 1 > 1-11