Search results for: Martin Steffen
Transplant International > 34 > 7 > 1226 - 1238
Journal of Logical and Algebraic Methods in Programming > 2018 > 94 > C > 109-127
Fusion Engineering and Design > 2017 > 124 > C > 1281-1286
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 324-339
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 6 > 1234-1267
Cell Reports > 2016 > 15 > 7 > 1455-1466
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 41-69
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Concurrent and Distributed Systems > 37-51
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 218-232
Lecture Notes in Computer Science > Static Analysis > Model Checking > 319-334
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 5-20
Lecture Notes in Computer Science > FM 2008: Formal Methods > Session 2. Programming Language Analysis > 52-67
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Bounded Model Checking > 396-412