Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Journal Article
%1 journals/corr/KuratkoR14
%A Kurátko, Jan
%A Ratschan, Stefan
%D 2014
%J CoRR
%K dblp
%T Combined Global and Local Search for the Falsification of Hybrid Systems.
%U http://dblp.uni-trier.de/db/journals/corr/corr1406.html#KuratkoR14
%V abs/1406.6332
@article{journals/corr/KuratkoR14,
added-at = {2018-08-13T00:00:00.000+0200},
author = {Kurátko, Jan and Ratschan, Stefan},
biburl = {https://www.bibsonomy.org/bibtex/22fb69eb8daeced4e0afa7157f61e8100/dblp},
ee = {http://arxiv.org/abs/1406.6332},
interhash = {c1e7a0ddcab332c205bfd1663e9bd288},
intrahash = {2fb69eb8daeced4e0afa7157f61e8100},
journal = {CoRR},
keywords = {dblp},
timestamp = {2018-08-14T13:08:51.000+0200},
title = {Combined Global and Local Search for the Falsification of Hybrid Systems.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1406.html#KuratkoR14},
volume = {abs/1406.6332},
year = 2014
}