Fernando Rosa Velardo. Petri Nets for the Verification of Ubiquitous Systems with Transient Secure Association. In Jadwiga Indulska, Jianhua Ma, Laurence Tianruo Yang, Theo Ungerer, Jiannong Cao, editors, Ubiquitous Intelligence and Computing, 4th International Conference, UIC 2007, Hong Kong, China, July 11-13, 2007, Proceedings. Volume 4611 of Lecture Notes in Computer Science, pages 1148-1158, Springer, 2007. [doi]
Abstract is missing.