%0 Journal Article %1 journals/tse/SarikayaBC87 %A Sarikaya, Behçet %A von Bochmann, Gregor %A Cerny, Eduard %D 1987 %J IEEE Trans. Software Eng. %K dblp %N 5 %P 518-531 %T A Test Design Methodology for Protocol Testing. %U http://dblp.uni-trier.de/db/journals/tse/tse13.html#SarikayaBC87 %V 13

@article{journals/tse/SarikayaBC87, added-at = {2015-12-10T00:00:00.000+0100}, author = {Sarikaya, Behçet and von Bochmann, Gregor and Cerny, Eduard}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e487d19bfc30de4c1f9d639ed5df56d6/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1987.233197}, interhash = {c7bed6da10c76055ae13c6c56b2495f5}, intrahash = {e487d19bfc30de4c1f9d639ed5df56d6}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 5, pages = {518-531}, timestamp = {2016-02-02T09:33:43.000+0100}, title = {A Test Design Methodology for Protocol Testing.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse13.html#SarikayaBC87}, volume = 13, year = 1987 }