Search results for: Stefan Leue
Informatik-Spektrum > 2018 > 41 > 5 > 311-316
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Temporal Logic I > 244-254
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 259-274
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Session 3: Formal Verification 1 > 71-84
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Visual Tools > 471-486
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 118-135
Lecture Notes in Computer Science > Model Checking Software > Directed explicit model checking with HSF-SPIN > 57-79
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Hybrid Systems > 177-195
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Timed Systems > 327-341
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Program Verification > 318-333
Lecture Notes in Computer Science > Model Checking Software > Algorithms and Theoretical Foundations > 112-127
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Contributed Papers > 33-51
Lecture Notes in Computer Science > Model Checking Software > Abstraction and Symbolic Methods > 216-233
Lecture Notes in Computer Science > Model Checking Software > State Representation and Abstraction > 58-74