%0 Journal Article %1 journals/corr/ColangeRB15 %A Colange, Maximilien %A Racordon, Dimitri %A Buchs, Didier %D 2015 %J CoRR %K dblp %T A CEGAR-like Approach for Cost LTL Bounds. %U http://dblp.uni-trier.de/db/journals/corr/corr1506.html#ColangeRB15 %V abs/1506.05728

@article{journals/corr/ColangeRB15, added-at = {2018-08-13T00:00:00.000+0200}, author = {Colange, Maximilien and Racordon, Dimitri and Buchs, Didier}, biburl = {https://www.bibsonomy.org/bibtex/2587f0636b1fb0c167497af0e1ebf1f52/dblp}, ee = {http://arxiv.org/abs/1506.05728}, interhash = {13b2646b44438ef327046ecbbdde49e7}, intrahash = {587f0636b1fb0c167497af0e1ebf1f52}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:50:56.000+0200}, title = {A CEGAR-like Approach for Cost LTL Bounds.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1506.html#ColangeRB15}, volume = {abs/1506.05728}, year = 2015 }