%0 Journal Article %1 journals/ton/CastellucciaDO97 %A Castelluccia, Claude %A Dabbous, Walid %A O'Malley, Sean W. %D 1997 %J IEEE/ACM Trans. Netw. %K dblp %N 4 %P 514-524 %T Generating efficient protocol code from an abstract specification. %U http://dblp.uni-trier.de/db/journals/ton/ton5.html#CastellucciaDO97 %V 5

@article{journals/ton/CastellucciaDO97, added-at = {2011-11-03T00:00:00.000+0100}, author = {Castelluccia, Claude and Dabbous, Walid and O'Malley, Sean W.}, biburl = {https://www.bibsonomy.org/bibtex/2c8cf928ef900dcd0a91e92b4935dbd94/dblp}, ee = {http://dx.doi.org/10.1109/90.649465}, interhash = {116e69a53a42a114cd3aef8533311a2f}, intrahash = {c8cf928ef900dcd0a91e92b4935dbd94}, journal = {IEEE/ACM Trans. Netw.}, keywords = {dblp}, number = 4, pages = {514-524}, timestamp = {2011-11-04T11:41:56.000+0100}, title = {Generating efficient protocol code from an abstract specification.}, url = {http://dblp.uni-trier.de/db/journals/ton/ton5.html#CastellucciaDO97}, volume = 5, year = 1997 }