Yongwang Zhao, Jing Li, Dou Sun, Dianfu Ma. Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic. In 25th IEEE International Conference on Advanced Information Networking and Applications, AINA 2011, Biopolis, Singapore, March 22-25, 2011. pages 240-247, IEEE Computer Society, 2011. [doi]
Abstract is missing.