%0 Journal Article %1 journals/tcad/FeySBD08 %A Fey, Görschwin %A Staber, Stefan %A Bloem, Roderick %A Drechsler, Rolf %D 2008 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 6 %P 1138-1149 %T Automatic Fault Localization for Property Checking. %U http://dblp.uni-trier.de/db/journals/tcad/tcad27.html#FeySBD08 %V 27

@article{journals/tcad/FeySBD08, added-at = {2022-01-03T00:00:00.000+0100}, author = {Fey, Görschwin and Staber, Stefan and Bloem, Roderick and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/2bdc79f59dc277883de2cdc080f3ebf23/dblp}, ee = {https://www.wikidata.org/entity/Q59242705}, interhash = {aee4c1eee2c96a833e1293f416267497}, intrahash = {bdc79f59dc277883de2cdc080f3ebf23}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 6, pages = {1138-1149}, timestamp = {2024-04-08T19:47:24.000+0200}, title = {Automatic Fault Localization for Property Checking.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad27.html#FeySBD08}, volume = 27, year = 2008 }