[{"dc":{"identifier":["https://research-explorer.ista.ac.at/record/4367"],"type":["info:eu-repo/semantics/conferenceObject","doc-type:conferenceObject","text","http://purl.org/coar/resource_type/c_5794"],"creator":["Podelski,Andreas","Thomas Wies"],"rights":["info:eu-repo/semantics/closedAccess"],"source":["Podelski A, Wies T. Boolean Heaps. In: Springer; 2005:267-282. doi:1550"],"relation":["info:eu-repo/semantics/altIdentifier/doi/1550"],"publisher":["Springer"],"title":["Boolean Heaps","LNCS 3672"],"date":["2005"]},"uri_base":"https://research-explorer.ista.ac.at","month":"01","day":"01","citation":{"ista":"Podelski A, Wies T. 2005. Boolean Heaps. SAS: Static Analysis Symposium, LNCS 3672, , 267–282.","ieee":"A. Podelski and T. Wies, “Boolean Heaps,” presented at the SAS: Static Analysis Symposium, 2005, pp. 267–282.","apa":"Podelski, A., & Wies, T. (2005). Boolean Heaps (pp. 267–282). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/1550","mla":"Podelski, Andreas, and Thomas Wies. Boolean Heaps. Springer, 2005, pp. 267–82, doi:1550.","short":"A. Podelski, T. Wies, in:, Springer, 2005, pp. 267–282.","chicago":"Podelski, Andreas, and Thomas Wies. “Boolean Heaps,” 267–82. Springer, 2005. https://doi.org/1550."},"page":"267 - 282","quality_controlled":0,"date_published":"2005-01-01T00:00:00Z","conference":{"name":"SAS: Static Analysis Symposium"},"type":"conference","alternative_title":[],"publist_id":"1092","extern":1,"_id":"4367","status":"public","publication_status":"published","author":[{"first_name":"Andreas","last_name":"Podelski"},{"first_name":"Thomas","last_name":"Wies","id":"447BFB88-F248-11E8-B48F-1D18A9856A87"}],"dini_type":"doc-type:conferenceObject","date_created":"2018-12-11T12:08:29Z","date_updated":"2021-01-12T07:56:27Z"}]