Search results for: Jochen Klose
Lecture Notes in Computer Science > ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools > Real-Time and Embedded Systems > 317-328
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Semantics and Compositional Verification > 512-527
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part V: Verification > 494-516
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part IV: Charts > 374-399
Lecture Notes in Computer Science > Computer Aided Verification > Session 8. Property Specification and Verification > 219-233
Journal of Magnetic Resonance Imaging > 39 > 3 > 665 - 672
Journal of Digital Imaging > 2013 > 26 > 3 > 393-401
European Journal of Radiology > 2012 > 81 > 5 > e732-e738
European Journal of Radiology > 2011 > 80 > 2 > 368-372
Journal of the American College of Radiology > 2011 > 8 > 9 > 649-656
Clinical Gastroenterology and Hepatology > 2008 > 6 > 7 > 820-827
Zeitschrift fuer Medizinische Physik > 2008 > 18 > 2 > 85-90
Zeitschrift fuer Medizinische Physik > 2008 > 18 > 1 > 19-26
Wiener klinische Wochenschrift > 2007 > 119 > 19-20 > 588-592
International Journal of Radiation Oncology, Biology, Physics > 2006 > 66 > 2 > 576-582
Clinical Gastroenterology and Hepatology > 2005 > 3 > 8 > 761-771
CardioVascular and Interventional Radiology > 2005 > 28 > 3 > 331-337
Strahlentherapie und Onkologie > 2004 > 180 > 9 > 597-600
Atherosclerosis > 2004 > 172 > 1 > 71-78