%0 Conference Paper %1 journals/corr/Ivanov17 %A Ivanov, Ievgen %B SNR@ETAPS %D 2017 %E Ábrahám, Erika %E Bogomolov, Sergiy %K dblp %P 46-51 %T On the Underapproximation of Reach Sets of Abstract Continuous-Time Systems. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs247.html#Ivanov17 %V 247

@inproceedings{journals/corr/Ivanov17, added-at = {2018-09-12T00:00:00.000+0200}, author = {Ivanov, Ievgen}, biburl = {https://www.bibsonomy.org/bibtex/222c165971accf6866ef5ae912fb9e1dc/dblp}, booktitle = {SNR@ETAPS}, crossref = {journals/corr/AbrahamB17}, editor = {Ábrahám, Erika and Bogomolov, Sergiy}, ee = {http://arxiv.org/abs/1704.03104}, interhash = {1769134024ea5bdcae8f44949ad3af0f}, intrahash = {22c165971accf6866ef5ae912fb9e1dc}, keywords = {dblp}, pages = {46-51}, series = {EPTCS}, timestamp = {2018-09-13T11:45:41.000+0200}, title = {On the Underapproximation of Reach Sets of Abstract Continuous-Time Systems.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs247.html#Ivanov17}, volume = 247, year = 2017 }