Geng-Dian Huang, Lin-Zan Cai, Farn Wang. LTL Model Checking for Recursive Programs. In Zhiming Liu, Anders P. Ravn, editors, Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Volume 5799 of Lecture Notes in Computer Science, pages 382-396, Springer, 2009. [doi]
@inproceedings{HuangCW09-0,
title = {LTL Model Checking for Recursive Programs},
author = {Geng-Dian Huang and Lin-Zan Cai and Farn Wang},
year = {2009},
doi = {10.1007/978-3-642-04761-9_28},
url = {http://dx.doi.org/10.1007/978-3-642-04761-9_28},
tags = {meta programming, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/HuangCW09-0},
cites = {0},
citedby = {0},
pages = {382-396},
booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings},
editor = {Zhiming Liu and Anders P. Ravn},
volume = {5799},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-04760-2},
}