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