Miaomiao Zhang, Dang Van Hung, Zhiming Liu. Verification of Linear Duration Invariants by Model Checking CTL Properties. In John S. Fitzgerald, Anne Elisabeth Haxthausen, Hüsnü Yenigün, editors, Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Volume 5160 of Lecture Notes in Computer Science, pages 395-409, Springer, 2008. [doi]
Abstract is missing.