%0 Journal Article %1 journals/eceasst/PalikarevaOR09 %A Palikareva, Hristina %A Ouaknine, Joël %A Roscoe, Bill %D 2009 %J ECEASST %K dblp %T Faster FDR Counterexample Generation Using SAT-Solving. %U http://dblp.uni-trier.de/db/journals/eceasst/eceasst23.html#PalikarevaOR09 %V 23

@article{journals/eceasst/PalikarevaOR09, added-at = {2019-05-22T00:00:00.000+0200}, author = {Palikareva, Hristina and Ouaknine, Joël and Roscoe, Bill}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ee811a62798ca3bf9cfc356dc30a6ce5/dblp}, ee = {https://doi.org/10.14279/tuj.eceasst.23.307}, interhash = {3586e1399f2186785c75714b1e18c825}, intrahash = {ee811a62798ca3bf9cfc356dc30a6ce5}, journal = {ECEASST}, keywords = {dblp}, timestamp = {2019-09-27T08:45:30.000+0200}, title = {Faster FDR Counterexample Generation Using SAT-Solving.}, url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst23.html#PalikarevaOR09}, volume = 23, year = 2009 }