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]
@inproceedings{ZhangHL08,
title = {Verification of Linear Duration Invariants by Model Checking CTL Properties},
author = {Miaomiao Zhang and Dang Van Hung and Zhiming Liu},
year = {2008},
doi = {10.1007/978-3-540-85762-4_27},
url = {http://dx.doi.org/10.1007/978-3-540-85762-4_27},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/ZhangHL08},
cites = {0},
citedby = {0},
pages = {395-409},
booktitle = {Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
editor = {John S. Fitzgerald and Anne Elisabeth Haxthausen and Hüsnü Yenigün},
volume = {5160},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-85761-7},
}