Search results for: Frank Boer
Anaesthesia > 77 > 1 > 28 - 39
Anaesthesia > 76 > 11 > 1454 - 1464
Anaesthesia > 76 > 6 > 748 - 758
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 41-69
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 212-227
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 451-472
Acta Informatica > 2017 > 54 > 4 > 343-378
Software & Systems Modeling > 2016 > 15 > 4 > 1117-1140
Journal of Automated Reasoning > 2014 > 53 > 2 > 129-139
Software & Systems Modeling > 2007 > 6 > 1 > 59-82