%0 Journal Article %1 journals/jip/TodaI21 %A Toda, Takahisa %A Inoue, Takeru %D 2021 %J J. Inf. Process. %K dblp %P 630-639 %T Interval-based Counterexample Analysis for Error Explanation. %U http://dblp.uni-trier.de/db/journals/jip/jip29.html#TodaI21 %V 29

@article{journals/jip/TodaI21, added-at = {2021-11-12T00:00:00.000+0100}, author = {Toda, Takahisa and Inoue, Takeru}, biburl = {https://www.bibsonomy.org/bibtex/2a0395536a7b45fb332b1568459f8b864/dblp}, ee = {https://doi.org/10.2197/ipsjjip.29.630}, interhash = {571b2e8afcc9dfb7ced8688c0498e82d}, intrahash = {a0395536a7b45fb332b1568459f8b864}, journal = {J. Inf. Process.}, keywords = {dblp}, pages = {630-639}, timestamp = {2024-04-08T12:25:30.000+0200}, title = {Interval-based Counterexample Analysis for Error Explanation.}, url = {http://dblp.uni-trier.de/db/journals/jip/jip29.html#TodaI21}, volume = 29, year = 2021 }