%0 Conference Paper %1 conf/wia/TsayW08 %A Tsay, Yih-Kuen %A Wang, Bow-Yaw %B CIAA %D 2008 %E Ibarra, Oscar H. %E Ravikumar, Bala %I Springer %K dblp %P 36-45 %T Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. %U http://dblp.uni-trier.de/db/conf/wia/ciaa2008.html#TsayW08 %V 5148 %@ 978-3-540-70843-8

@inproceedings{conf/wia/TsayW08, added-at = {2017-06-05T00:00:00.000+0200}, author = {Tsay, Yih-Kuen and Wang, Bow-Yaw}, biburl = {https://www.bibsonomy.org/bibtex/2aebae703ed6c11a3ff187d8051ccde40/dblp}, booktitle = {CIAA}, crossref = {conf/wia/2008}, editor = {Ibarra, Oscar H. and Ravikumar, Bala}, ee = {https://doi.org/10.1007/978-3-540-70844-5_5}, interhash = {9f0c0dcb1ce7ef6fd0e78410529717bc}, intrahash = {aebae703ed6c11a3ff187d8051ccde40}, isbn = {978-3-540-70843-8}, keywords = {dblp}, pages = {36-45}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:57:56.000+0200}, title = {Automated Compositional Reasoning of Intuitionistically Closed Regular Properties.}, url = {http://dblp.uni-trier.de/db/conf/wia/ciaa2008.html#TsayW08}, volume = 5148, year = 2008 }