Search results for: Bernd Becker
Beton‐ und Stahlbetonbau > 115 > S1 > 60 - 71
Journal of Electronic Testing > 2017 > 33 > 6 > 751-767
Bioorganic & Medicinal Chemistry Letters > 2017 > 27 > 11 > 2407-2409
Formal Aspects of Computing > 2017 > 29 > 4 > 629-649
Lecture Notes in Computer Science > Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance > Full Papers > 287-301
Lecture Notes in Computer Science > Computer Aided Verification > Session X: Constraints and Decisions > 307-310
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 4-18