Yih-Kuen Tsay, Bow-Yaw Wang. Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. In Oscar H. Ibarra, Bala Ravikumar, editors, Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings. Volume 5148 of Lecture Notes in Computer Science, pages 36-45, Springer, 2008. [doi]
@inproceedings{TsayW08,
title = {Automated Compositional Reasoning of Intuitionistically Closed Regular Properties},
author = {Yih-Kuen Tsay and Bow-Yaw Wang},
year = {2008},
doi = {10.1007/978-3-540-70844-5_5},
url = {http://dx.doi.org/10.1007/978-3-540-70844-5_5},
tags = {composition},
researchr = {https://researchr.org/publication/TsayW08},
cites = {0},
citedby = {0},
pages = {36-45},
booktitle = {Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
editor = {Oscar H. Ibarra and Bala Ravikumar},
volume = {5148},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-70843-8},
}