%0 Conference Paper %1 conf/ifip/AggarwalKS83 %A Aggarwal, Sudhir %A Kurshan, Robert P. %A Sabnani, Krishan K. %B Protocol Specification, Testing, and Verification %D 1983 %E Rudin, Harry %E West, Colin H. %I North-Holland %K dblp %P 19-34 %T A Calculus for Protocol Specification and Validation. %U http://dblp.uni-trier.de/db/conf/ifip/pstv83.html#AggarwalKS83 %@ 0-444-86769-4

@inproceedings{conf/ifip/AggarwalKS83, added-at = {2020-02-20T00:00:00.000+0100}, author = {Aggarwal, Sudhir and Kurshan, Robert P. and Sabnani, Krishan K.}, biburl = {https://www.bibsonomy.org/bibtex/20d79f9ff3b70bcd3612ea8249cc30edc/dblp}, booktitle = {Protocol Specification, Testing, and Verification}, crossref = {conf/pstv/1983}, editor = {Rudin, Harry and West, Colin H.}, interhash = {8bab99c15e224b3351d6e60ae6bafbf7}, intrahash = {0d79f9ff3b70bcd3612ea8249cc30edc}, isbn = {0-444-86769-4}, keywords = {dblp}, pages = {19-34}, publisher = {North-Holland}, timestamp = {2020-02-21T13:16:32.000+0100}, title = {A Calculus for Protocol Specification and Validation.}, url = {http://dblp.uni-trier.de/db/conf/ifip/pstv83.html#AggarwalKS83}, year = 1983 }