bibtex

@inproceedings{MF15,
    title = { Running SpaceEx on the {ARCH14} Benchmarks },
    author = {Minopoli, Stefano and Frehse, Goran},
    year = {2015},
    booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH at CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH at CPSWeek 2015, Seattle, WA, USA, April 13, },
    crossref = {DBLP:conf/cpsweek/2014-15arch},
    pages = {196--206},
    team = {TEMPO},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/cpsweek/MinopoliF15}, bibsource = {dblp computer science bibliography, http://dblp.org},
}

URL


Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3899913