%0 Journal Article %1 journals/jise/HuangLH96 %A Huang, Chung-Ming %A Lai, Huei-Yang %A Huang, Duen-Tay %D 1996 %J J. Inf. Sci. Eng. %K dblp %N 2 %P 215-241 %T A Mulit-Event-One-Transition Plus Incremental Processing Protocol Verification Method. %U http://dblp.uni-trier.de/db/journals/jise/jise12.html#HuangLH96 %V 12

@article{journals/jise/HuangLH96, added-at = {2021-07-16T00:00:00.000+0200}, author = {Huang, Chung-Ming and Lai, Huei-Yang and Huang, Duen-Tay}, biburl = {https://www.bibsonomy.org/bibtex/27a83f92dc8292ef89596999582ad0fb9/dblp}, ee = {http://www.iis.sinica.edu.tw/page/jise/1996/199606_03.html}, interhash = {dfd9bd0e5b472cb75d42099dcf2bca64}, intrahash = {7a83f92dc8292ef89596999582ad0fb9}, journal = {J. Inf. Sci. Eng.}, keywords = {dblp}, number = 2, pages = {215-241}, timestamp = {2024-04-08T11:20:21.000+0200}, title = {A Mulit-Event-One-Transition Plus Incremental Processing Protocol Verification Method.}, url = {http://dblp.uni-trier.de/db/journals/jise/jise12.html#HuangLH96}, volume = 12, year = 1996 }