Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai. Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces. In Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom 03), March 23-26, 2003, Fort Worth, Texas, USA. pages 452-459, IEEE Computer Society, 2003. [doi]
Abstract is missing.