%0 Journal Article %1 journals/jss/HuangHHDJ97 %A Huang, Chung-Ming %A Hsu, Jenq-Muh %A Lai, Huei-Yang %A Huang, Duen-Tay %A Pong, Jao-Chiang %D 1997 %J J. Syst. Softw. %K dblp %N 2 %P 115-135 %T An Estelle-Based Incremental Protocol Design System. %U http://dblp.uni-trier.de/db/journals/jss/jss36.html#HuangHHDJ97 %V 36

@article{journals/jss/HuangHHDJ97, added-at = {2020-02-24T00:00:00.000+0100}, author = {Huang, Chung-Ming and Hsu, Jenq-Muh and Lai, Huei-Yang and Huang, Duen-Tay and Pong, Jao-Chiang}, biburl = {https://www.bibsonomy.org/bibtex/2ecf68bce3ec225d70e6db3b2ad5bd5da/dblp}, ee = {https://doi.org/10.1016/0164-1212(95)00065-8}, interhash = {334304cb327ce9d3ef086dd0a165887e}, intrahash = {ecf68bce3ec225d70e6db3b2ad5bd5da}, journal = {J. Syst. Softw.}, keywords = {dblp}, number = 2, pages = {115-135}, timestamp = {2020-02-25T13:39:32.000+0100}, title = {An Estelle-Based Incremental Protocol Design System.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss36.html#HuangHHDJ97}, volume = 36, year = 1997 }