%0 Conference Paper %1 conf/atva/WeinerHKPS13 %A Weiner, Sigal %A Hasson, Matan %A Kupferman, Orna %A Pery, Eyal %A Shevach, Zohar %B ATVA %D 2013 %E Hung, Dang Van %E Ogawa, Mizuhito %I Springer %K dblp %P 133-147 %T Weighted Safety. %U http://dblp.uni-trier.de/db/conf/atva/atva2013.html#WeinerHKPS13 %V 8172 %@ 978-3-319-02443-1

@inproceedings{conf/atva/WeinerHKPS13, added-at = {2017-05-21T00:00:00.000+0200}, author = {Weiner, Sigal and Hasson, Matan and Kupferman, Orna and Pery, Eyal and Shevach, Zohar}, biburl = {https://www.bibsonomy.org/bibtex/262a848a89be34aa623dc80546b13ba2d/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2013}, editor = {Hung, Dang Van and Ogawa, Mizuhito}, ee = {https://doi.org/10.1007/978-3-319-02444-8_11}, interhash = {b8672c0b8cfc86e97de96158a07f3452}, intrahash = {62a848a89be34aa623dc80546b13ba2d}, isbn = {978-3-319-02443-1}, keywords = {dblp}, pages = {133-147}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:01:01.000+0200}, title = {Weighted Safety.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2013.html#WeinerHKPS13}, volume = 8172, year = 2013 }