Search results for: Jan-David Quesel
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Short Papers > 646-649
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 3: Games > 160-176
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Real-Time and Mobility > 347-361
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 13. Arithmetic > 485-501
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification > 246-265
Lecture Notes in Computer Science > Automated Reasoning > Session 5: System Descriptions 1 > 171-178