%0 Conference Paper %1 conf/forte/SidhuC89 %A Sidhu, Deepinder P. %A Chung, Anthony %B FORTE %D 1989 %E Vuong, Son T. %I North-Holland %K dblp %P 437-453 %T Experience with Formal Methods in Protocol Development. %U http://dblp.uni-trier.de/db/conf/forte/forte1989.html#SidhuC89 %@ 0-444-88544-7

@inproceedings{conf/forte/SidhuC89, added-at = {2002-01-03T00:00:00.000+0100}, author = {Sidhu, Deepinder P. and Chung, Anthony}, biburl = {https://www.bibsonomy.org/bibtex/2986570869cd9d1554ea3382ab73dc544/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1989}, date = {2002-01-03}, description = {dblp}, editor = {Vuong, Son T.}, interhash = {2f62a559442103368f191538276afe03}, intrahash = {986570869cd9d1554ea3382ab73dc544}, isbn = {0-444-88544-7}, keywords = {dblp}, pages = {437-453}, publisher = {North-Holland}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Experience with Formal Methods in Protocol Development.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1989.html#SidhuC89}, year = 1989 }