{"inproceedings":{"@attributes":{"key":"conf\/hvc\/AbelABGS13","mdate":"2017-05-19"},"author":["Andreas Abel 0004","Allon Adir","Torsten Blochwitz","Lev Greenberg","Tamer Salman"],"title":"Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors.","pages":"182-198","year":"2013","booktitle":"Haifa Verification Conference","ee":"https:\/\/doi.org\/10.1007\/978-3-319-03077-7_13","crossref":"conf\/hvc\/2013","url":"db\/conf\/hvc\/hvc2013.html#AbelABGS13"}}