Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ananth Grama. Building Verifiable Sensing Applications Through Temporal Logic Specification. In Yong Shi, G. Dick van Albada, Jack Dongarra, Peter M. A. Sloot, editors, Computational Science - ICCS 2007, 7th International Conference Beijing, China, May 27-30, 2007, Proceedings, Part I. Volume 4487 of Lecture Notes in Computer Science, pages 1205-1212, Springer, 2007. [doi]
Abstract is missing.