Search results for: Klaus Birken
Software & Systems Modeling > 2019 > 18 > 4 > 2507-2530
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Resource and Timing Analysis > 424-433
Journal of Molecular Modeling > 1995 > 1 > 3 > 161-175