{"indexed":{"date-parts":[[2018,2,8]],"date-time":"2018-02-08T18:12:15Z","timestamp":1518113535497},"publisher-location":"Berlin, Heidelberg","reference-count":0,"publisher":"Springer Berlin Heidelberg","content-domain":{"domain":[],"crossmark-restriction":false},"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11925040_5","type":"chapter","created":{"date-parts":[[2006,11,1]],"date-time":"2006-11-01T05:15:01Z","timestamp":1162358101000},"page":"57-73","source":"Crossref","is-referenced-by-count":2,"title":"Classification and Utilization of Abstractions for Optimization","prefix":"10.1007","author":[{"given":"Dan","family":"Quinlan","affiliation":[]},{"given":"Markus","family":"Schordan","affiliation":[]},{"given":"Qing","family":"Yi","affiliation":[]},{"given":"Andreas","family":"Saebjornsen","affiliation":[]}],"member":"297","container-title":"Leveraging Applications of Formal Methods","original-title":[],"link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/11925040_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T15:55:36Z","timestamp":1389023736000},"score":1.0,"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540489283","9783540489290"],"references-count":0,"URL":"http:\/\/dx.doi.org\/10.1007\/11925040_5","relation":{},"ISSN":["0302-9743","1611-3349"]}