%0 Conference Paper %1 conf/compsac/TengL78 %A Teng, Albert Y. %A Liu, Ming T. %B COMPSAC %D 1978 %I IEEE %K dblp %P 722-727 %T A formal approach to the desin and implementation of network communication protocol. %U http://dblp.uni-trier.de/db/conf/compsac/compsac1978.html#TengL78

@inproceedings{conf/compsac/TengL78, added-at = {2017-05-21T00:00:00.000+0200}, author = {Teng, Albert Y. and Liu, Ming T.}, biburl = {https://www.bibsonomy.org/bibtex/21115ed5441f09dd14d930b2b887f67c2/dblp}, booktitle = {COMPSAC}, crossref = {conf/compsac/1978}, ee = {https://doi.org/10.1109/CMPSAC.1978.810556}, interhash = {1270e5055c5f04e5d3d28e5a086278f6}, intrahash = {1115ed5441f09dd14d930b2b887f67c2}, keywords = {dblp}, pages = {722-727}, publisher = {IEEE}, timestamp = {2019-10-17T20:11:05.000+0200}, title = {A formal approach to the desin and implementation of network communication protocol.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac1978.html#TengL78}, year = 1978 }