Wyniki wyszukiwania dla: Martin Fränzle
IEEE Transactions on Automatic Control > 2017 > 62 > 7 > 3518 - 3523
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Decision Procedures > 171-185
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 172-186
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Bounded Model Checking > 245-264
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 3: Games > 160-176
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 272-281
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 288-335
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 302-316