@inproceedings{DBLP:conf/isola/Argent-KatwalaCFGMT08,
  author    = {Ashok Argent{-}Katwala and
               Allan Clark and
               Howard Foster and
               Stephen Gilmore and
               Philip Mayer and
               Mirco Tribastone},
  title     = {Safety and Response-Time Analysis of an Automotive Accident Assistance
               Service},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
               Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
               13-15, 2008. Proceedings},
  pages     = {191--205},
  year      = {2008},
  crossref  = {DBLP:conf/isola/2008},
  url       = {http://dx.doi.org/10.1007/978-3-540-88479-8_14},
  doi       = {10.1007/978-3-540-88479-8_14},
  timestamp = {Fri, 14 Nov 2008 08:07:03 +0100},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/isola/Argent-KatwalaCFGMT08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":{"_str":"52502403c0bcb22b6d001148"},"__v":3,"authorIDs":["546e523eec3c47a518000e24"],"author_short":["Argent-Katwala, A.","Clark, A.","Foster, H.","Gilmore, S.","Mayer, P.","Tribastone, M."],"bibbaseid":"argentkatwala-clark-foster-gilmore-mayer-tribastone-safetyandresponsetimeanalysisofanautomotiveaccidentassistanceservice-2008","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ashok"],"propositions":[],"lastnames":["Argent-Katwala"],"suffixes":[]},{"firstnames":["Allan"],"propositions":[],"lastnames":["Clark"],"suffixes":[]},{"firstnames":["Howard"],"propositions":[],"lastnames":["Foster"],"suffixes":[]},{"firstnames":["Stephen"],"propositions":[],"lastnames":["Gilmore"],"suffixes":[]},{"firstnames":["Philip"],"propositions":[],"lastnames":["Mayer"],"suffixes":[]},{"firstnames":["Mirco"],"propositions":[],"lastnames":["Tribastone"],"suffixes":[]}],"title":"Safety and Response-Time Analysis of an Automotive Accident Assistance Service","booktitle":"Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings","pages":"191--205","year":"2008","crossref":"DBLP:conf/isola/2008","url":"http://dx.doi.org/10.1007/978-3-540-88479-8_14","doi":"10.1007/978-3-540-88479-8_14","timestamp":"Fri, 14 Nov 2008 08:07:03 +0100","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/isola/Argent-KatwalaCFGMT08","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/isola/Argent-KatwalaCFGMT08,\n author = {Ashok Argent{-}Katwala and\n Allan Clark and\n Howard Foster and\n Stephen Gilmore and\n Philip Mayer and\n Mirco Tribastone},\n title = {Safety and Response-Time Analysis of an Automotive Accident Assistance\n Service},\n booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,\n Third International Symposium, ISoLA 2008, Porto Sani, Greece, October\n 13-15, 2008. Proceedings},\n pages = {191--205},\n year = {2008},\n crossref = {DBLP:conf/isola/2008},\n url = {http://dx.doi.org/10.1007/978-3-540-88479-8_14},\n doi = {10.1007/978-3-540-88479-8_14},\n timestamp = {Fri, 14 Nov 2008 08:07:03 +0100},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/isola/Argent-KatwalaCFGMT08},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Argent-Katwala, A.","Clark, A.","Foster, H.","Gilmore, S.","Mayer, P.","Tribastone, M."],"key":"DBLP:conf/isola/Argent-KatwalaCFGMT08","id":"DBLP:conf/isola/Argent-KatwalaCFGMT08","bibbaseid":"argentkatwala-clark-foster-gilmore-mayer-tribastone-safetyandresponsetimeanalysisofanautomotiveaccidentassistanceservice-2008","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-88479-8_14"},"downloads":0},"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/t/Tribastone:Mirco","downloads":0,"keywords":[],"search_terms":["safety","response","time","analysis","automotive","accident","assistance","service","argent-katwala","clark","foster","gilmore","mayer","tribastone"],"title":"Safety and Response-Time Analysis of an Automotive Accident Assistance Service","year":2008,"dataSources":["CNwMY2u82MjtNmYTK"]}