@ARTICLE{Col07a,
  author = {Collins, Pieter},
  title = {Optimal Semicomputable Approximations to Reachable and Invariant
	Sets},
  journal = {Theory of Computing Systems},
  year = {2007},
  volume = {41},
  pages = {33--48},
  number = {1},
  keywords = {bib,cca},
  url = {http://dx.doi.org/10.1007/s00224-006-1338-3}
}

{"_id":"FTjXkkQY2Zmb5GPnj","bibbaseid":"collins-optimalsemicomputableapproximationstoreachableandinvariantsets-2007","authorIDs":[],"author_short":["Collins, P."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Collins"],"firstnames":["Pieter"],"suffixes":[]}],"title":"Optimal Semicomputable Approximations to Reachable and Invariant Sets","journal":"Theory of Computing Systems","year":"2007","volume":"41","pages":"33–48","number":"1","keywords":"bib,cca","url":"http://dx.doi.org/10.1007/s00224-006-1338-3","bibtex":"@ARTICLE{Col07a,\r\n author = {Collins, Pieter},\r\n title = {Optimal Semicomputable Approximations to Reachable and Invariant\r\n\tSets},\r\n journal = {Theory of Computing Systems},\r\n year = {2007},\r\n volume = {41},\r\n pages = {33--48},\r\n number = {1},\r\n keywords = {bib,cca},\r\n url = {http://dx.doi.org/10.1007/s00224-006-1338-3}\r\n}\r\n\r\n","author_short":["Collins, P."],"key":"Col07a","id":"Col07a","bibbaseid":"collins-optimalsemicomputableapproximationstoreachableandinvariantsets-2007","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s00224-006-1338-3"},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.567Z","downloads":0,"keywords":["bib","cca"],"search_terms":["optimal","semicomputable","approximations","reachable","invariant","sets","collins"],"title":"Optimal Semicomputable Approximations to Reachable and Invariant Sets","year":2007,"dataSources":["t7rKiAbxugj4Agz8M"]}