@inproceedings{conf/icse/MunteanuPM20,
  added-at = {2020-09-22T00:00:00.000+0200},
  author = {Munteanu, Andrei and Pasqua, Michele and Merro, Massimo},
  biburl = {https://www.bibsonomy.org/bibtex/20bc5109eedecc49a4925e5920a14037a/dblp},
  booktitle = {FormaliSE@ICSE},
  crossref = {conf/icse/2020formalise},
  ee = {https://doi.org/10.1145/3372020.3391563},
  interhash = {d54266a16bfbdfd437b130eee8978b5a},
  intrahash = {0bc5109eedecc49a4925e5920a14037a},
  isbn = {978-1-4503-7071-4},
  keywords = {dblp},
  pages = {34-43},
  publisher = {ACM},
  timestamp = {2020-09-23T11:35:02.000+0200},
  title = {Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking.},
  url = {http://dblp.uni-trier.de/db/conf/icse/formalise2020.html#MunteanuPM20},
  year = 2020
}

{"_id":"8iQHnuXmkCQorAi3K","bibbaseid":"munteanu-pasqua-merro-impactanalysisofcyberphysicalattacksonawatertanksystemviastatisticalmodelchecking-2020","authorIDs":[],"author_short":["Munteanu, A.","Pasqua, M.","Merro, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2020-09-22T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Munteanu"],"firstnames":["Andrei"],"suffixes":[]},{"propositions":[],"lastnames":["Pasqua"],"firstnames":["Michele"],"suffixes":[]},{"propositions":[],"lastnames":["Merro"],"firstnames":["Massimo"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/20bc5109eedecc49a4925e5920a14037a/dblp","booktitle":"FormaliSE@ICSE","crossref":"conf/icse/2020formalise","ee":"https://doi.org/10.1145/3372020.3391563","interhash":"d54266a16bfbdfd437b130eee8978b5a","intrahash":"0bc5109eedecc49a4925e5920a14037a","isbn":"978-1-4503-7071-4","keywords":"dblp","pages":"34-43","publisher":"ACM","timestamp":"2020-09-23T11:35:02.000+0200","title":"Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking.","url":"http://dblp.uni-trier.de/db/conf/icse/formalise2020.html#MunteanuPM20","year":"2020","bibtex":"@inproceedings{conf/icse/MunteanuPM20,\n added-at = {2020-09-22T00:00:00.000+0200},\n author = {Munteanu, Andrei and Pasqua, Michele and Merro, Massimo},\n biburl = {https://www.bibsonomy.org/bibtex/20bc5109eedecc49a4925e5920a14037a/dblp},\n booktitle = {FormaliSE@ICSE},\n crossref = {conf/icse/2020formalise},\n ee = {https://doi.org/10.1145/3372020.3391563},\n interhash = {d54266a16bfbdfd437b130eee8978b5a},\n intrahash = {0bc5109eedecc49a4925e5920a14037a},\n isbn = {978-1-4503-7071-4},\n keywords = {dblp},\n pages = {34-43},\n publisher = {ACM},\n timestamp = {2020-09-23T11:35:02.000+0200},\n title = {Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking.},\n url = {http://dblp.uni-trier.de/db/conf/icse/formalise2020.html#MunteanuPM20},\n year = 2020\n}\n\n","author_short":["Munteanu, A.","Pasqua, M.","Merro, M."],"key":"conf/icse/MunteanuPM20","id":"conf/icse/MunteanuPM20","bibbaseid":"munteanu-pasqua-merro-impactanalysisofcyberphysicalattacksonawatertanksystemviastatisticalmodelchecking-2020","role":"author","urls":{"Link":"https://doi.org/10.1145/3372020.3391563","Paper":"http://dblp.uni-trier.de/db/conf/icse/formalise2020.html#MunteanuPM20"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/massimo?items=1000","creationDate":"2020-12-04T16:35:07.586Z","downloads":0,"keywords":["dblp"],"search_terms":["impact","analysis","cyber","physical","attacks","water","tank","system","via","statistical","model","checking","munteanu","pasqua","merro"],"title":"Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking.","year":2020,"dataSources":["3K8QdNFi6YEcLKp3r"]}