Search results for: Henrik Jensen
IFMBE Proceedings > 15th Nordic-Baltic Conference on Biomedical Engineering and Medical Physics (NBC 2011) > 37-40
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Model Checking > 19-30
2014 IEEE International Ultrasonics Symposium > 997 - 1000
2011 IEEE International Ultrasonics Symposium > 1583 - 1586
2011 IEEE International Ultrasonics Symposium > 1981 - 1984
2011 IEEE International Ultrasonics Symposium > 2261 - 2264
2009 IEEE International Ultrasonics Symposium > 2379 - 2382