Search results for: Mihaela Sighireanu
Science China Information Sciences > 2018 > 61 > 12 > 1-16
Formal Methods in System Design > 2017 > 51 > 3 > 575-607
Lecture Notes in Computer Science > Computer Aided Verification > Tool Presentations: Model-Checking and Automata Techniques > 368-372
Lecture Notes in Computer Science > Computer Aided Verification > Session 1. Software Model Checking > 72-88
Lecture Notes in Computer Science > FME 2003: Formal Methods > Communications System Verification > 264-281
Lecture Notes in Computer Science > Computer Aided Verification > Session VII: Concurrent Program Verification > 254-257
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite-State Systems > 690-705
Electronic Notes in Theoretical Computer Science > 2009 > 239 > Complete > 43-56
Science of Computer Programming > 2003 > 46 > 3 > 255-281