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