%0 Conference Paper %1 conf/pstv/BochmannDSSU85 %A von Bochmann, Gregor %A Dssouli, Rachida %A de Souza, Wanderley Lopes %A Sarikaya, Behçet %A Ural, Hasan %B PSTV %D 1985 %E Diaz, Michel %I North-Holland %K dblp %P 131-147 %T Use of Prolog for building protocol design tools. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1985.html#BochmannDSSU85 %@ 0-444-87881-5

@inproceedings{conf/pstv/BochmannDSSU85, added-at = {2002-01-07T00:00:00.000+0100}, author = {von Bochmann, Gregor and Dssouli, Rachida and de Souza, Wanderley Lopes and Sarikaya, Behçet and Ural, Hasan}, biburl = {https://www.bibsonomy.org/bibtex/2d7ca25487cb441bc2a26acf7ff2d5004/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1985}, date = {2002-01-07}, description = {dblp}, editor = {Diaz, Michel}, interhash = {cd521d1013e6de2dde6df8f5ce7f2487}, intrahash = {d7ca25487cb441bc2a26acf7ff2d5004}, isbn = {0-444-87881-5}, keywords = {dblp}, pages = {131-147}, publisher = {North-Holland}, timestamp = {2002-01-07T00:00:00.000+0100}, title = {Use of Prolog for building protocol design tools.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1985.html#BochmannDSSU85}, year = 1985 }