In: Proceedings of the Sixth International Conference on Curves and Surfaces. International Conference on Curves and Surfaces, 6th, June 29 - July 5, …
In: Proceedings of the 7th International Conference on Hybrid Intelligent Systems. International Conference on Hybrid Intelligent Systems (HIS-2007), …
In: Ricardo J. Gonçalves; Jörg P. Müller; Kai Mertins; Martin Zelm. Enterprise Interoperability II: New Challenges and Approaches. Pages 195-206, ISBN …
In: Karen Yorav (Hrsg.). Hardware and Software, Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, …