@inproceedings{conf/csl/AsarinBDDM14,
  added-at = {2015-04-23T00:00:00.000+0200},
  author = {Asarin, Eugene and Blockelet, Michel and Degorre, Aldric and Dima, Catalin and Mu, Chunyan},
  biburl = {http://www.bibsonomy.org/bibtex/2dded8939b34af216d8a6f5712cbe26a3/dblp},
  booktitle = {CSL-LICS},
  crossref = {conf/csl/2014},
  editor = {Henzinger, Thomas A. and Miller, Dale},
  ee = {http://doi.acm.org/10.1145/2603088.2603158},
  interhash = {d773eaaf8710b9c51a071b1aefa37e1f},
  intrahash = {dded8939b34af216d8a6f5712cbe26a3},
  isbn = {978-1-4503-2886-9},
  keywords = {dblp},
  pages = {10:1-10:9},
  publisher = {ACM},
  timestamp = {2015-04-28T17:09:46.000+0200},
  title = {Asymptotic behaviour in temporal logic.},
  url = {http://dblp.uni-trier.de/db/conf/csl/csl2014.html#AsarinBDDM14},
  year = 2014
}

{"_id":"2n5XdDL7oBvpudQxM","bibbaseid":"asarin-blockelet-degorre-dima-mu-asymptoticbehaviourintemporallogic-2014","downloads":0,"creationDate":"2016-01-01T22:50:42.900Z","title":"Asymptotic behaviour in temporal logic.","author_short":["Asarin, E.","Blockelet, M.","Degorre, A.","Dima, C.","Mu, C."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Emir Muñoz?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2015-04-23T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Asarin"],"firstnames":["Eugene"],"suffixes":[]},{"propositions":[],"lastnames":["Blockelet"],"firstnames":["Michel"],"suffixes":[]},{"propositions":[],"lastnames":["Degorre"],"firstnames":["Aldric"],"suffixes":[]},{"propositions":[],"lastnames":["Dima"],"firstnames":["Catalin"],"suffixes":[]},{"propositions":[],"lastnames":["Mu"],"firstnames":["Chunyan"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2dded8939b34af216d8a6f5712cbe26a3/dblp","booktitle":"CSL-LICS","crossref":"conf/csl/2014","editor":[{"propositions":[],"lastnames":["Henzinger"],"firstnames":["Thomas","A."],"suffixes":[]},{"propositions":[],"lastnames":["Miller"],"firstnames":["Dale"],"suffixes":[]}],"ee":"http://doi.acm.org/10.1145/2603088.2603158","interhash":"d773eaaf8710b9c51a071b1aefa37e1f","intrahash":"dded8939b34af216d8a6f5712cbe26a3","isbn":"978-1-4503-2886-9","keywords":"dblp","pages":"10:1-10:9","publisher":"ACM","timestamp":"2015-04-28T17:09:46.000+0200","title":"Asymptotic behaviour in temporal logic.","url":"http://dblp.uni-trier.de/db/conf/csl/csl2014.html#AsarinBDDM14","year":"2014","bibtex":"@inproceedings{conf/csl/AsarinBDDM14,\n added-at = {2015-04-23T00:00:00.000+0200},\n author = {Asarin, Eugene and Blockelet, Michel and Degorre, Aldric and Dima, Catalin and Mu, Chunyan},\n biburl = {http://www.bibsonomy.org/bibtex/2dded8939b34af216d8a6f5712cbe26a3/dblp},\n booktitle = {CSL-LICS},\n crossref = {conf/csl/2014},\n editor = {Henzinger, Thomas A. and Miller, Dale},\n ee = {http://doi.acm.org/10.1145/2603088.2603158},\n interhash = {d773eaaf8710b9c51a071b1aefa37e1f},\n intrahash = {dded8939b34af216d8a6f5712cbe26a3},\n isbn = {978-1-4503-2886-9},\n keywords = {dblp},\n pages = {10:1-10:9},\n publisher = {ACM},\n timestamp = {2015-04-28T17:09:46.000+0200},\n title = {Asymptotic behaviour in temporal logic.},\n url = {http://dblp.uni-trier.de/db/conf/csl/csl2014.html#AsarinBDDM14},\n year = 2014\n}\n\n","author_short":["Asarin, E.","Blockelet, M.","Degorre, A.","Dima, C.","Mu, C."],"editor_short":["Henzinger, T. A.","Miller, D."],"key":"conf/csl/AsarinBDDM14","id":"conf/csl/AsarinBDDM14","bibbaseid":"asarin-blockelet-degorre-dima-mu-asymptoticbehaviourintemporallogic-2014","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/2603088.2603158","Paper":"http://dblp.uni-trier.de/db/conf/csl/csl2014.html#AsarinBDDM14"},"keyword":["dblp"],"downloads":0},"search_terms":["asymptotic","behaviour","temporal","logic","asarin","blockelet","degorre","dima","mu"],"keywords":["dblp"],"authorIDs":[],"dataSources":["wqGwgwuNEkgHptPJs"]}