%0 Journal Article %1 journals/tse/Anderson88 %A Anderson, David P. %D 1988 %J IEEE Trans. Software Eng. %K dblp %N 3 %P 291-300 %T Automated Protocol Implementation with RTAG. %U http://dblp.uni-trier.de/db/journals/tse/tse14.html#Anderson88 %V 14

@article{journals/tse/Anderson88, added-at = {2015-12-10T00:00:00.000+0100}, author = {Anderson, David P.}, biburl = {https://www.bibsonomy.org/bibtex/2f226e293b955f9c1cce796ab9b56fd48/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.4650}, interhash = {df07cfe87de4f2318c30d2febc11872d}, intrahash = {f226e293b955f9c1cce796ab9b56fd48}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 3, pages = {291-300}, timestamp = {2015-12-12T11:51:30.000+0100}, title = {Automated Protocol Implementation with RTAG.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse14.html#Anderson88}, volume = 14, year = 1988 }