Search results for: Christian Buckl
Lecture Notes in Computer Science > Implementation and Application of Automata > Technical Contributions > 110-117
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Games and Automata > 258-261
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 118-133
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 150-167
Lecture Notes in Computer Science > Model-Based Engineering of Embedded Real-Time Systems > Model Analysis > 271-293
Lecture Notes in Computer Science > Model Checking Software > Applications of Model Checking > 161-176
Lecture Notes in Computer Science > Dependable Computing > Modelling > 101-120
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Tool Papers > 347-352
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Model Transformations 1 > 17-31
Computer Science - Research and Development > 2015 > 30 > 1 > 21-34
Microprocessors and Microsystems > 2014 > 38 > 6 > 539-551
2013 IEEE Intelligent Vehicles Symposium (IV) > 1143 - 1148