In: Proceedings of the 3rd International Conference on Intelligent Environments. International Conference on Intelligent Environments (IE-2007), 3rd, …
Christoph Stahl; Dominikus Heckmann; Tim Schwartz; Oliver Fickert
In: Karen Yorav (Hrsg.). Hardware and Software, Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, …