A. Bernstein, H. Gall, and A. Zeller. Mining Programs and Processes, volume 07491 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)
A. Bernstein, H. Gall, and A. Zeller. Mining Programs and Processes, volume 07491 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)
Y. Yildiz, D. Abraham, S. Agaian, and K. Panetta. Three-Dimensional Image Capture and Applications, volume 6805 of SPIE Proceedings, page 680508. SPIE, (2008)
E. Ábrahám, F. de Boer, W. de Roever, and M. Steffen. Verification: Theory and Practice, volume 2772 of Lecture Notes in Computer Science, page 290-303. Springer, (2003)