Search results for: Michael Weber
Beton‐ und Stahlbetonbau > 111 > 10 > 635 - 644
The Visual Computer > 2017 > 33 > 4 > 429-442
European Radiology > 2017 > 27 > 4 > 1760-1767
International Journal of Computer Assisted Radiology and Surgery > 2017 > 12 > 1 > 99-112
Cellular Microbiology > 18 > 7 > 889 - 904
2016 IEEE Intelligent Vehicles Symposium (IV) > 342 - 348
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Logics and Model-Checking > 543-558
Lecture Notes in Computer Science > Mobile Agents > Run-Time Support > 198-212
Lecture Notes in Computer Science > Model Checking Software > Abstractions and State-Space Reductions > 38-56
Lecture Notes in Computer Science > NASA Formal Methods > Tool Papers > 506-511
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 321-335
Lecture Notes in Computer Science > Model Checking Software > Algorithms and Theoretical Foundations > 128-147