@inproceedings{ dblp1722799,
  title = {Timed Pattern Matching},
  author = {Dogan Ulus and Thomas Ferrère and Eugene Asarin and Oded Maler},
  author_short = {Ulus, D. and Ferrère, T. and Asarin, E. and Maler, O.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp1722799},
  id = {dblp1722799},
  biburl = {http://www.dblp.org/rec/bibtex/conf/formats/UlusFAM14},
  url = {http://dx.doi.org/10.1007/978-3-319-10512-3_16},
  conference = {FORMATS},
  pages = {222-236},
  text = {FORMATS 2014:222-236},
  booktitle = {Proceedings of Formal Modeling and Analysis of Timed Systems (FORMATS)}
}

{"_id":"MxjLnZvxGgqLZ79GZ","bibbaseid":"ulus-ferrre-asarin-maler-timedpatternmatching-2014","downloads":0,"creationDate":"2015-07-05T11:04:52.708Z","title":"Timed Pattern Matching","author_short":["Ulus, D.","Ferrère, T.","Asarin, E.","Maler, O."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/formats/UlusFAM14","bibdata":{"title":"Timed Pattern Matching","author":["Dogan Ulus","Thomas Ferrère","Eugene Asarin","Oded Maler"],"author_short":["Ulus, D.","Ferrère, T.","Asarin, E.","Maler, O."],"bibtype":"inproceedings","type":"inproceedings","year":"2014","key":"dblp1722799","id":"dblp1722799","biburl":"http://www.dblp.org/rec/bibtex/conf/formats/UlusFAM14","url":"http://dx.doi.org/10.1007/978-3-319-10512-3_16","conference":"FORMATS","pages":"222-236","text":"FORMATS 2014:222-236","booktitle":"Proceedings of Formal Modeling and Analysis of Timed Systems (FORMATS)","bibtex":"@inproceedings{ dblp1722799,\n title = {Timed Pattern Matching},\n author = {Dogan Ulus and Thomas Ferrère and Eugene Asarin and Oded Maler},\n author_short = {Ulus, D. and Ferrère, T. and Asarin, E. and Maler, O.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp1722799},\n id = {dblp1722799},\n biburl = {http://www.dblp.org/rec/bibtex/conf/formats/UlusFAM14},\n url = {http://dx.doi.org/10.1007/978-3-319-10512-3_16},\n conference = {FORMATS},\n pages = {222-236},\n text = {FORMATS 2014:222-236},\n booktitle = {Proceedings of Formal Modeling and Analysis of Timed Systems (FORMATS)}\n}","bibbaseid":"ulus-ferrre-asarin-maler-timedpatternmatching-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-10512-3_16"},"downloads":0},"search_terms":["timed","pattern","matching","ulus","ferrère","asarin","maler"],"keywords":[],"authorIDs":[],"dataSources":["WpoQfYPNdjygCdnon"]}