Yih-Kuen Tsay, Bow-Yaw Wang
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties
CIAA, 2009.
@article{CIAA-J-2008-TsayW09,
author = "Yih-Kuen Tsay and Bow-Yaw Wang",
doi = "10.1142/S0129054109006851",
journal = "{International Journal of Foundations of Computer Science}",
number = 4,
pages = "747--762",
publisher = "{World Scientific}",
title = "{Automated Compositional Reasoning of Intuitionistically Closed Regular Properties}",
volume = 20,
year = 2009,
}