%0 Conference Paper %1 conf/ifip/EckertP83 %A Eckert, Hans %A Prinoth, Rainer %B Protocol Specification, Testing, and Verification %D 1983 %E Rudin, Harry %E West, Colin H. %I North-Holland %K dblp %P 213-228 %T A Computation-System Based Method for Automated Proving of Protocols Against Services. %U http://dblp.uni-trier.de/db/conf/ifip/pstv83.html#EckertP83 %@ 0-444-86769-4

@inproceedings{conf/ifip/EckertP83, added-at = {2019-08-04T00:00:00.000+0200}, author = {Eckert, Hans and Prinoth, Rainer}, biburl = {https://www.bibsonomy.org/bibtex/20eb94eeb121f25472bbbf924c0d84a49/dblp}, booktitle = {Protocol Specification, Testing, and Verification}, crossref = {conf/pstv/1983}, editor = {Rudin, Harry and West, Colin H.}, interhash = {cce3e6f31c018ac85a6eb123830ec9c9}, intrahash = {0eb94eeb121f25472bbbf924c0d84a49}, isbn = {0-444-86769-4}, keywords = {dblp}, pages = {213-228}, publisher = {North-Holland}, timestamp = {2019-09-10T11:45:19.000+0200}, title = {A Computation-System Based Method for Automated Proving of Protocols Against Services.}, url = {http://dblp.uni-trier.de/db/conf/ifip/pstv83.html#EckertP83}, year = 1983 }