%0 Conference Paper %1 conf/acm/HuangCH94 %A Huang, Chung-Ming %A Chang, Ye-In %A Huang, Duen-Tay %B ACM Conference on Computer Science %D 1994 %E Werth, John %E Werth, Laurie Honour %I ACM %K dblp %P 30-37 %T A State-Transition-Based Incremental Protocol Specification. %U http://dblp.uni-trier.de/db/conf/acm/csc94.html#HuangCH94 %@ 0-89791-634-4

@inproceedings{conf/acm/HuangCH94, added-at = {2018-11-06T00:00:00.000+0100}, author = {Huang, Chung-Ming and Chang, Ye-In and Huang, Duen-Tay}, biburl = {https://www.bibsonomy.org/bibtex/23ed44da2bb5c9fcf79fc7487ad605d63/dblp}, booktitle = {ACM Conference on Computer Science}, crossref = {conf/acm/1994}, editor = {Werth, John and Werth, Laurie Honour}, ee = {https://doi.org/10.1145/197530.197553}, interhash = {a99df890c6c64ac418d1ff9cba02ed43}, intrahash = {3ed44da2bb5c9fcf79fc7487ad605d63}, isbn = {0-89791-634-4}, keywords = {dblp}, pages = {30-37}, publisher = {ACM}, timestamp = {2018-11-07T16:02:24.000+0100}, title = {A State-Transition-Based Incremental Protocol Specification.}, url = {http://dblp.uni-trier.de/db/conf/acm/csc94.html#HuangCH94}, year = 1994 }