{"quality_controlled":0,"author":[{"full_name":"Podelski,Andreas","last_name":"Podelski","first_name":"Andreas"},{"first_name":"Thomas","id":"447BFB88-F248-11E8-B48F-1D18A9856A87","last_name":"Wies","full_name":"Thomas Wies"}],"month":"01","page":"267 - 282","title":"Boolean Heaps","date_updated":"2021-01-12T07:56:27Z","year":"2005","day":"01","citation":{"short":"A. Podelski, T. Wies, in:, Springer, 2005, pp. 267–282.","chicago":"Podelski, Andreas, and Thomas Wies. “Boolean Heaps,” 267–82. Springer, 2005. <a href=\"https://doi.org/1550\">https://doi.org/1550</a>.","ieee":"A. Podelski and T. Wies, “Boolean Heaps,” presented at the SAS: Static Analysis Symposium, 2005, pp. 267–282.","ista":"Podelski A, Wies T. 2005. Boolean Heaps. SAS: Static Analysis Symposium, LNCS 3672, , 267–282.","ama":"Podelski A, Wies T. Boolean Heaps. In: Springer; 2005:267-282. doi:<a href=\"https://doi.org/1550\">1550</a>","mla":"Podelski, Andreas, and Thomas Wies. <i>Boolean Heaps</i>. Springer, 2005, pp. 267–82, doi:<a href=\"https://doi.org/1550\">1550</a>.","apa":"Podelski, A., &#38; Wies, T. (2005). Boolean Heaps (pp. 267–282). Presented at the SAS: Static Analysis Symposium, Springer. <a href=\"https://doi.org/1550\">https://doi.org/1550</a>"},"date_published":"2005-01-01T00:00:00Z","alternative_title":["LNCS 3672"],"publication_status":"published","_id":"4367","status":"public","extern":1,"publisher":"Springer","publist_id":"1092","type":"conference","date_created":"2018-12-11T12:08:29Z","doi":"1550","conference":{"name":"SAS: Static Analysis Symposium"}}