Taehoon Lee, Gihwon Kwon, Hyuksoo Han. CTL Model Checking for Boolean Program. In Marina L. Gavrilova, Osvaldo Gervasi, Vipin Kumar, Chih Jeng Kenneth Tan, David Taniar, Antonio Laganà , Youngsong Mun, Hyunseung Choo, editors, Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV. Volume 3983 of Lecture Notes in Computer Science, pages 1081-1089, Springer, 2006. [doi]
@inproceedings{LeeKH06:0,
title = {CTL Model Checking for Boolean Program},
author = {Taehoon Lee and Gihwon Kwon and Hyuksoo Han},
year = {2006},
doi = {10.1007/11751632_116},
url = {http://dx.doi.org/10.1007/11751632_116},
tags = {meta programming, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/LeeKH06%3A0},
cites = {0},
citedby = {0},
pages = {1081-1089},
booktitle = {Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV},
editor = {Marina L. Gavrilova and Osvaldo Gervasi and Vipin Kumar and Chih Jeng Kenneth Tan and David Taniar and Antonio Laganà and Youngsong Mun and Hyunseung Choo},
volume = {3983},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-34077-7},
}