@inproceedings{ dblp3533343,
  title = {Fixed Point Iteration for Computing the Time Elapse Operator},
  author = {Sriram Sankaranarayanan and Henny B. Sipma and Zohar Manna},
  author_short = {Sankaranarayanan, S. and Sipma, H. B. and Manna, Z.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2006},
  key = {dblp3533343},
  id = {dblp3533343},
  biburl = {http://www.dblp.org/rec/bibtex/conf/hybrid/SankaranarayananSM06},
  url = {http://dx.doi.org/10.1007/11730637_40},
  conference = {HSCC},
  pages = {537-551},
  text = {HSCC 2006:537-551},
  booktitle = {Proceedings of Hybrid Systems (HSCC)}
}

{"_id":"zz6DkkdpgNxKLcmRk","bibbaseid":"sankaranarayanan-sipma-manna-fixedpointiterationforcomputingthetimeelapseoperator-2006","downloads":0,"creationDate":"2015-10-19T18:43:42.434Z","title":"Fixed Point Iteration for Computing the Time Elapse Operator","author_short":["Sankaranarayanan, S.","Sipma, H. B.","Manna, Z."],"year":2006,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/hybrid/SankaranarayananSM06","bibdata":{"title":"Fixed Point Iteration for Computing the Time Elapse Operator","author":["Sriram Sankaranarayanan","Henny B. Sipma","Zohar Manna"],"author_short":["Sankaranarayanan, S.","Sipma, H. B.","Manna, Z."],"bibtype":"inproceedings","type":"inproceedings","year":"2006","key":"dblp3533343","id":"dblp3533343","biburl":"http://www.dblp.org/rec/bibtex/conf/hybrid/SankaranarayananSM06","url":"http://dx.doi.org/10.1007/11730637_40","conference":"HSCC","pages":"537-551","text":"HSCC 2006:537-551","booktitle":"Proceedings of Hybrid Systems (HSCC)","bibtex":"@inproceedings{ dblp3533343,\n title = {Fixed Point Iteration for Computing the Time Elapse Operator},\n author = {Sriram Sankaranarayanan and Henny B. Sipma and Zohar Manna},\n author_short = {Sankaranarayanan, S. and Sipma, H. B. and Manna, Z.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2006},\n key = {dblp3533343},\n id = {dblp3533343},\n biburl = {http://www.dblp.org/rec/bibtex/conf/hybrid/SankaranarayananSM06},\n url = {http://dx.doi.org/10.1007/11730637_40},\n conference = {HSCC},\n pages = {537-551},\n text = {HSCC 2006:537-551},\n booktitle = {Proceedings of Hybrid Systems (HSCC)}\n}","bibbaseid":"sankaranarayanan-sipma-manna-fixedpointiterationforcomputingthetimeelapseoperator-2006","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/11730637_40"},"downloads":0},"search_terms":["fixed","point","iteration","computing","time","elapse","operator","sankaranarayanan","sipma","manna"],"keywords":[],"authorIDs":[],"dataSources":["DvMKYy3RLMorfFX5J"]}