%0 Conference Paper %1 conf/isocc/HuangLLW12 %A Huang, Ching-Yi %A Lee, Daw-Ming %A Lin, Chun-Chi %A Wang, Chun-Yao %B ISOCC %D 2012 %I IEEE %K dblp %P 188-191 %T Error Injection & Correction: An efficient formal logic restructuring algorithm. %U http://dblp.uni-trier.de/db/conf/isocc/isocc2012.html#HuangLLW12 %@ 978-1-4673-2989-7

@inproceedings{conf/isocc/HuangLLW12, added-at = {2018-05-29T00:00:00.000+0200}, author = {Huang, Ching-Yi and Lee, Daw-Ming and Lin, Chun-Chi and Wang, Chun-Yao}, biburl = {https://www.bibsonomy.org/bibtex/2c7d7bec29275223a75d2cc1fa6865c80/dblp}, booktitle = {ISOCC}, crossref = {conf/isocc/2012}, ee = {https://doi.org/10.1109/ISOCC.2012.6407071}, interhash = {ee7e1cf5718ae61251a7f32c034b0b78}, intrahash = {c7d7bec29275223a75d2cc1fa6865c80}, isbn = {978-1-4673-2989-7}, keywords = {dblp}, pages = {188-191}, publisher = {IEEE}, timestamp = {2018-05-30T11:36:51.000+0200}, title = {Error Injection & Correction: An efficient formal logic restructuring algorithm.}, url = {http://dblp.uni-trier.de/db/conf/isocc/isocc2012.html#HuangLLW12}, year = 2012 }