Search results for: Barbara Jobstmann
Lecture Notes in Computer Science > Implementation and Application of Automata > Technical Contributions > 110-117
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 150-167
Lecture Notes in Computer Science > Computer Aided Verification > Games and Probabilistic Verification > 226-238
Lecture Notes in Computer Science > Business Process Management > Verification and Compliance > 278-293
Lecture Notes in Computer Science > NASA Formal Methods > Tool Papers > 466-471
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Games and Automata > 267-271
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Game Solving Approaches > 35-49
Lecture Notes in Computer Science > Computer Aided Verification > Session VIII: Reactive Designs > 258-262
Acta Informatica > 2016 > 53 > 4 > 425-457
Formal Methods in System Design > 2015 > 47 > 1 > 26-50
Acta Informatica > 2014 > 51 > 3-4 > 193-220
International Journal on Software Tools for Technology Transfer > 2013 > 15 > 5-6 > 397-411
Journal of Computer and System Sciences > 2012 > 78 > 3 > 911-938