%0 Journal Article %1 journals/ieicet/HungNAK12 %A Hung, Pham Ngoc %A Nguyen, Viet Ha %A Aoki, Toshiaki %A Katayama, Takuya %D 2012 %J IEICE Trans. Fundam. Electron. Commun. Comput. Sci. %K dblp %N 9 %P 1451-1460 %T On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification. %U http://dblp.uni-trier.de/db/journals/ieicet/ieicet95a.html#HungNAK12 %V 95-A

@article{journals/ieicet/HungNAK12, added-at = {2022-12-07T00:00:00.000+0100}, author = {Hung, Pham Ngoc and Nguyen, Viet Ha and Aoki, Toshiaki and Katayama, Takuya}, biburl = {https://www.bibsonomy.org/bibtex/28623f98f32b8d7f5453f6cdf037a5be9/dblp}, ee = {http://search.ieice.org/bin/summary.php?id=e95-a_9_1451}, interhash = {68706ed692e4987fb69f8b3df81bcc74}, intrahash = {8623f98f32b8d7f5453f6cdf037a5be9}, journal = {IEICE Trans. Fundam. Electron. Commun. Comput. Sci.}, keywords = {dblp}, number = 9, pages = {1451-1460}, timestamp = {2024-04-08T15:51:56.000+0200}, title = {On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification.}, url = {http://dblp.uni-trier.de/db/journals/ieicet/ieicet95a.html#HungNAK12}, volume = {95-A}, year = 2012 }