%0 Conference Paper %1 conf/ifip/BaratzS83 %A Baratz, Alan E. %A Segall, Adrian %B Protocol Specification, Testing, and Verification %D 1983 %E Rudin, Harry %E West, Colin H. %I North-Holland %K dblp %P 199-211 %T A Reliable Link Initialization Procedure. %U http://dblp.uni-trier.de/db/conf/ifip/pstv83.html#BaratzS83 %@ 0-444-86769-4

@inproceedings{conf/ifip/BaratzS83, added-at = {2019-08-04T00:00:00.000+0200}, author = {Baratz, Alan E. and Segall, Adrian}, biburl = {https://www.bibsonomy.org/bibtex/2a03a1b4cc472f50d858d04eecfd2dc3f/dblp}, booktitle = {Protocol Specification, Testing, and Verification}, crossref = {conf/pstv/1983}, editor = {Rudin, Harry and West, Colin H.}, interhash = {5e64b6cb5d59f41743457257c97b3586}, intrahash = {a03a1b4cc472f50d858d04eecfd2dc3f}, isbn = {0-444-86769-4}, keywords = {dblp}, pages = {199-211}, publisher = {North-Holland}, timestamp = {2019-09-10T11:45:19.000+0200}, title = {A Reliable Link Initialization Procedure.}, url = {http://dblp.uni-trier.de/db/conf/ifip/pstv83.html#BaratzS83}, year = 1983 }