@proceedings{DBLP:conf/formats/2005,
  editor    = {Paul Pettersson and
               Wang Yi},
  title     = {Formal Modeling and Analysis of Timed Systems, Third International
               Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3829},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11603009},
  doi       = {10.1007/11603009},
  isbn      = {3-540-30946-2},
  timestamp = {Fri, 02 Jun 2017 20:50:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"pxW9sWLiB3posPkJW","bibbaseid":"pettersson-yi-formalmodelingandanalysisoftimedsystemsthirdinternationalconferenceformats2005uppsalaswedenseptember26282005proceedings-2005","downloads":0,"creationDate":"2019-02-23T06:38:48.367Z","title":"Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings","author_short":null,"year":2005,"bibtype":"proceedings","biburl":"https://dblp.org/pid/07/3797.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Paul"],"propositions":[],"lastnames":["Pettersson"],"suffixes":[]},{"firstnames":["Wang"],"propositions":[],"lastnames":["Yi"],"suffixes":[]}],"title":"Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings","series":"Lecture Notes in Computer Science","volume":"3829","publisher":"Springer","year":"2005","url":"https://doi.org/10.1007/11603009","doi":"10.1007/11603009","isbn":"3-540-30946-2","timestamp":"Fri, 02 Jun 2017 20:50:11 +0200","biburl":"https://dblp.org/rec/bib/conf/formats/2005","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/formats/2005,\n editor = {Paul Pettersson and\n Wang Yi},\n title = {Formal Modeling and Analysis of Timed Systems, Third International\n Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,\n Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {3829},\n publisher = {Springer},\n year = {2005},\n url = {https://doi.org/10.1007/11603009},\n doi = {10.1007/11603009},\n isbn = {3-540-30946-2},\n timestamp = {Fri, 02 Jun 2017 20:50:11 +0200},\n biburl = {https://dblp.org/rec/bib/conf/formats/2005},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Pettersson, P.","Yi, W."],"key":"DBLP:conf/formats/2005","id":"DBLP:conf/formats/2005","bibbaseid":"pettersson-yi-formalmodelingandanalysisoftimedsystemsthirdinternationalconferenceformats2005uppsalaswedenseptember26282005proceedings-2005","role":"editor","urls":{"Paper":"https://doi.org/10.1007/11603009"},"downloads":0},"search_terms":["formal","modeling","analysis","timed","systems","third","international","conference","formats","2005","uppsala","sweden","september","2005","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["64vhzPQouTD2xtS3j"]}