%0 Journal Article %1 journals/ijfcs/TsayW09 %A Tsay, Yih-Kuen %A Wang, Bow-Yaw %D 2009 %J Int. J. Found. Comput. Sci. %K dblp %N 4 %P 747-762 %T Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. %U http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs20.html#TsayW09 %V 20

@article{journals/ijfcs/TsayW09, added-at = {2009-09-23T00:00:00.000+0200}, author = {Tsay, Yih-Kuen and Wang, Bow-Yaw}, biburl = {https://www.bibsonomy.org/bibtex/264b898211d656ff4e51c0fdadc1014ab/dblp}, date = {2009-09-23}, description = {dblp}, ee = {http://dx.doi.org/10.1142/S0129054109006851}, interhash = {f73b620d986a9e8c977adf716cc5628c}, intrahash = {64b898211d656ff4e51c0fdadc1014ab}, journal = {Int. J. Found. Comput. Sci.}, keywords = {dblp}, number = 4, pages = {747-762}, timestamp = {2009-09-24T11:37:29.000+0200}, title = {Automated Compositional Reasoning of Intuitionistically Closed Regular Properties.}, url = {http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs20.html#TsayW09}, volume = 20, year = 2009 }