%0 Journal Article %1 journals/sttt/PlakuKV13 %A Plaku, Erion %A Kavraki, Lydia E. %A Vardi, Moshe Y. %D 2013 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 4 %P 305-320 %T Falsification of LTL safety properties in hybrid systems. %U http://dblp.uni-trier.de/db/journals/sttt/sttt15.html#PlakuKV13 %V 15

@article{journals/sttt/PlakuKV13, added-at = {2023-09-30T00:00:00.000+0200}, author = {Plaku, Erion and Kavraki, Lydia E. and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2ce5f9db7138d44b16c692f4bda7b9b1a/dblp}, ee = {https://doi.org/10.1007/s10009-012-0233-2}, interhash = {b87bbe0b547bfec0c4b152c453e2cde1}, intrahash = {ce5f9db7138d44b16c692f4bda7b9b1a}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 4, pages = {305-320}, timestamp = {2024-04-08T20:36:10.000+0200}, title = {Falsification of LTL safety properties in hybrid systems.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt15.html#PlakuKV13}, volume = 15, year = 2013 }