Search results for: Jochen Schroder
Studia Germanica Posnaniensia > 1989 > 16 > 223-235
Laser & Photonics Reviews > 11 > 1 > n/a - n/a
Lecture Notes in Computer Science > Model Checking Software > p2b: A translation utility for linking promela and symbolic model checking (tool paper) > 183-191
International Journal of Cardiology > 2016 > 219 > C > 70-78
Lecture Notes in Control and Information Sciences
Journal of Lightwave Technology > 2016 > 34 > 8 > 1824 - 1830
IEEE Photonics Technology Letters > 2015 > 27 > 13 > 1422 - 1425
BMC Cardiovascular Disorders > 2015 > 15 > 1 > 1-7