%0 Journal Article %1 journals/cj/HuangCH96 %A Huang, Chung-Ming %A Chang, Ye-In %A Huang, Duen-Tay %D 1996 %J Comput. J. %K dblp %N 6 %P 511-524 %T Reverse Protocol Verification: Concept, Algorithm and Application. %U http://dblp.uni-trier.de/db/journals/cj/cj39.html#HuangCH96 %V 39

@article{journals/cj/HuangCH96, added-at = {2011-06-28T00:00:00.000+0200}, author = {Huang, Chung-Ming and Chang, Ye-In and Huang, Duen-Tay}, biburl = {https://www.bibsonomy.org/bibtex/2a5b96da9492785451627372aeafb8bca/dblp}, ee = {http://dx.doi.org/10.1093/comjnl/39.6.511}, interhash = {17e4687300201f3c4dbe8c324115c5ee}, intrahash = {a5b96da9492785451627372aeafb8bca}, journal = {Comput. J.}, keywords = {dblp}, number = 6, pages = {511-524}, timestamp = {2011-06-29T16:41:56.000+0200}, title = {Reverse Protocol Verification: Concept, Algorithm and Application.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj39.html#HuangCH96}, volume = 39, year = 1996 }