@proceedings{DBLP:conf/formats/2015,
    editor = "Sankaranarayanan, Sriram and Vicario, Enrico",
    title = "Formal Modeling and Analysis of Timed Systems - 13th International Conference, {FORMATS} 2015, Madrid, Spain, September 2-4, 2015, Proceedings",
    series = "Lecture Notes in Computer Science",
    volume = "9268",
    publisher = "Springer",
    year = "2015",
    url = "https://doi.org/10.1007/978-3-319-22975-1",
    doi = "10.1007/978-3-319-22975-1",
    isbn = "978-3-319-22974-4",
    timestamp = "Fri, 06 Sep 2019 01:00:00 +0200",
    biburl = "https://dblp.org/rec/conf/formats/2015.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"QXKoZpXLhnSeBgKWQ","bibbaseid":"sankaranarayanan-vicario-formalmodelingandanalysisoftimedsystems13thinternationalconferenceformats2015madridspainseptember242015proceedings-2015","downloads":0,"creationDate":"2015-10-19T18:43:42.152Z","title":"Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings","author_short":["Sankaranarayanan, S.","Vicario, E."],"year":2015,"bibtype":"proceedings","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"propositions":[],"lastnames":["Sankaranarayanan"],"firstnames":["Sriram"],"suffixes":[]},{"propositions":[],"lastnames":["Vicario"],"firstnames":["Enrico"],"suffixes":[]}],"title":"Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings","series":"Lecture Notes in Computer Science","volume":"9268","publisher":"Springer","year":"2015","url":"https://doi.org/10.1007/978-3-319-22975-1","doi":"10.1007/978-3-319-22975-1","isbn":"978-3-319-22974-4","timestamp":"Fri, 06 Sep 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/formats/2015.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/formats/2015,\n editor = \"Sankaranarayanan, Sriram and Vicario, Enrico\",\n title = \"Formal Modeling and Analysis of Timed Systems - 13th International Conference, {FORMATS} 2015, Madrid, Spain, September 2-4, 2015, Proceedings\",\n series = \"Lecture Notes in Computer Science\",\n volume = \"9268\",\n publisher = \"Springer\",\n year = \"2015\",\n url = \"https://doi.org/10.1007/978-3-319-22975-1\",\n doi = \"10.1007/978-3-319-22975-1\",\n isbn = \"978-3-319-22974-4\",\n timestamp = \"Fri, 06 Sep 2019 01:00:00 +0200\",\n biburl = \"https://dblp.org/rec/conf/formats/2015.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","editor_short":["Sankaranarayanan, S.","Vicario, E."],"key":"DBLP:conf/formats/2015","id":"DBLP:conf/formats/2015","bibbaseid":"sankaranarayanan-vicario-formalmodelingandanalysisoftimedsystems13thinternationalconferenceformats2015madridspainseptember242015proceedings-2015","role":"editor","urls":{"Paper":"https://doi.org/10.1007/978-3-319-22975-1"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["formal","modeling","analysis","timed","systems","13th","international","conference","formats","2015","madrid","spain","september","2015","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["btiihGSLCmfbKYRnb","PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa"]}