%0 Journal Article %1 journals/dt/KakudaYKK95 %A Kakuda, Yoshiaki %A Yukitomo, Hideki %A Kusumoto, Shinji %A Kikuno, Tohru %D 1995 %J IEEE Des. Test Comput. %K dblp %N 3 %P 34-42 %T Localizing Multiple Faults in a Protocol Implementation. %U http://dblp.uni-trier.de/db/journals/dt/dt12.html#KakudaYKK95 %V 12

@article{journals/dt/KakudaYKK95, added-at = {2020-05-17T00:00:00.000+0200}, author = {Kakuda, Yoshiaki and Yukitomo, Hideki and Kusumoto, Shinji and Kikuno, Tohru}, biburl = {https://www.bibsonomy.org/bibtex/2658c28564d59f854365e57c59aee9f37/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MDT.1995.466373}, interhash = {e8c5f994990f4fc683bd7313614a699a}, intrahash = {658c28564d59f854365e57c59aee9f37}, journal = {IEEE Des. Test Comput.}, keywords = {dblp}, number = 3, pages = {34-42}, timestamp = {2020-05-19T12:19:25.000+0200}, title = {Localizing Multiple Faults in a Protocol Implementation.}, url = {http://dblp.uni-trier.de/db/journals/dt/dt12.html#KakudaYKK95}, volume = 12, year = 1995 }