Search results for: Jens Knoop
Journal of Symbolic Computation > 2017 > 80 > P1 > 101-124
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Frameworks for System Construction and Analysis > 360-374
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 264-289
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Resource and Timing Analysis > 449-463
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 422-426
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 14-30
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Resource and Timing Analysis > 491-495
Lecture Notes in Computer Science > Static Analysis > Optimizations > 232-247