%0 Conference Paper %1 conf/sigcomm/ShankarL83 %A Shankar, A. Udaya %A Lam, Simon S. %B SIGCOMM %D 1983 %E Wood, David C. %E Lam, Simon S. %I ACM %K dblp %P 38-48 %T Specification and verification of an HDLC protocol with arm connection management and full-duplex data transfer. %U http://dblp.uni-trier.de/db/conf/sigcomm/sigcomm1983a.html#ShankarL83 %@ 978-0-89791-089-7

@inproceedings{conf/sigcomm/ShankarL83, added-at = {2021-07-23T00:00:00.000+0200}, author = {Shankar, A. Udaya and Lam, Simon S.}, biburl = {https://www.bibsonomy.org/bibtex/23b39870be78383dc8dadd75d017fbb80/dblp}, booktitle = {SIGCOMM}, crossref = {conf/sigcomm/1983a}, editor = {Wood, David C. and Lam, Simon S.}, ee = {https://doi.org/10.1145/1024840.1035249}, interhash = {1ca2acdf9288f451c6042b5fa95e7dd8}, intrahash = {3b39870be78383dc8dadd75d017fbb80}, isbn = {978-0-89791-089-7}, keywords = {dblp}, pages = {38-48}, publisher = {ACM}, timestamp = {2024-04-09T15:49:50.000+0200}, title = {Specification and verification of an HDLC protocol with arm connection management and full-duplex data transfer.}, url = {http://dblp.uni-trier.de/db/conf/sigcomm/sigcomm1983a.html#ShankarL83}, year = 1983 }