Konstantinos Kotis, Artem Katasonov, Jarkko Leino. Aligning Smart and Control Entities in the IoT. In Sergey D. Andreev, Sergey Balandin, Yevgeni Koucheryavy, editors, Internet of Things, Smart Spaces, and Next Generation Networking - 12th International Conference, NEW2AN 2012, and 5th Conference, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012. Proceedings. Volume 7469 of Lecture Notes in Computer Science, pages 39-50, Springer, 2012. [doi]
Abstract is missing.