Search results for: Henning Dierks
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Real-Time and Scheduling > 271-277
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking > 679-682
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 311-314
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 29-40
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 20-39
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Timed Automata II > 433-453
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 208-227
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Real-Time Systems > 66-81
Science of Computer Programming > 2012 > 77 > 10-11 > 1122-1150
Formal Aspects of Computing > 2004 > 16 > 2
Electronic Notes in Theoretical Computer Science > 2004 > 82 > 2 > 346
Formal Aspects of Computing > 2004 > 16 > 2 > 104-120
Current Biology > 2001 > 11 > 24 > 1969-1974
Theoretical Computer Science > 2001 > 253 > 1 > 61-93