{"date_published":"2008-01-01T00:00:00Z","page":"304 - 308","year":"2008","publisher":"Springer","status":"public","day":"01","citation":{"ieee":"D. Beyer, D. Zufferey, and R. Majumdar, “CSIsat: Interpolation for LA+EUF,” presented at the CAV: Computer Aided Verification, 2008, pp. 304–308.","mla":"Beyer, Dirk, et al. <i>CSIsat: Interpolation for LA+EUF</i>. Springer, 2008, pp. 304–08.","ama":"Beyer D, Zufferey D, Majumdar R. CSIsat: Interpolation for LA+EUF. In: Springer; 2008:304-308.","short":"D. Beyer, D. Zufferey, R. Majumdar, in:, Springer, 2008, pp. 304–308.","apa":"Beyer, D., Zufferey, D., &#38; Majumdar, R. (2008). CSIsat: Interpolation for LA+EUF (pp. 304–308). Presented at the CAV: Computer Aided Verification, Springer.","chicago":"Beyer, Dirk, Damien Zufferey, and Ritankar Majumdar. “CSIsat: Interpolation for LA+EUF,” 304–8. Springer, 2008.","ista":"Beyer D, Zufferey D, Majumdar R. 2008. CSIsat: Interpolation for LA+EUF. CAV: Computer Aided Verification, LNCS 5123, , 304–308."},"date_created":"2018-12-11T12:08:38Z","month":"01","publication_status":"published","conference":{"name":"CAV: Computer Aided Verification"},"author":[{"first_name":"Dirk","full_name":"Beyer, Dirk","last_name":"Beyer"},{"orcid":"0000-0002-3197-8736","first_name":"Damien","full_name":"Damien Zufferey","id":"4397AC76-F248-11E8-B48F-1D18A9856A87","last_name":"Zufferey"},{"first_name":"Ritankar","full_name":"Majumdar, Ritankar S","last_name":"Majumdar"}],"_id":"4397","alternative_title":["LNCS 5123"],"title":"CSIsat: Interpolation for LA+EUF","quality_controlled":0,"publist_id":"1060","date_updated":"2021-01-12T07:56:40Z","type":"conference","extern":1}