@article{DBLP:journals/scp/AlpuenteJKR13,
  author    = {Mar{\'{\i}}a Alpuente and
               Christophe Joubert and
               Stefan Kowalewski and
               Marco Roveri},
  title     = {Preface to the special section on Formal Methods for Industrial Critical
               Systems {(FMICS} 2009 + {FMICS} 2010)},
  journal   = {Sci. Comput. Program.},
  volume    = {78},
  number    = {7},
  pages     = {775--777},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.scico.2012.05.005},
  doi       = {10.1016/j.scico.2012.05.005},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/scp/AlpuenteJKR13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"EZiNwAhFijmscoXHi","bibbaseid":"alpuente-joubert-kowalewski-roveri-prefacetothespecialsectiononformalmethodsforindustrialcriticalsystemsfmics2009fmics2010-2013","author_short":["Alpuente, M.","Joubert, C.","Kowalewski, S.","Roveri, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["María"],"propositions":[],"lastnames":["Alpuente"],"suffixes":[]},{"firstnames":["Christophe"],"propositions":[],"lastnames":["Joubert"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Kowalewski"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Roveri"],"suffixes":[]}],"title":"Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)","journal":"Sci. Comput. Program.","volume":"78","number":"7","pages":"775–777","year":"2013","url":"https://doi.org/10.1016/j.scico.2012.05.005","doi":"10.1016/j.scico.2012.05.005","timestamp":"Wed, 17 Feb 2021 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/scp/AlpuenteJKR13.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/scp/AlpuenteJKR13,\n author = {Mar{\\'{\\i}}a Alpuente and\n Christophe Joubert and\n Stefan Kowalewski and\n Marco Roveri},\n title = {Preface to the special section on Formal Methods for Industrial Critical\n Systems {(FMICS} 2009 + {FMICS} 2010)},\n journal = {Sci. Comput. Program.},\n volume = {78},\n number = {7},\n pages = {775--777},\n year = {2013},\n url = {https://doi.org/10.1016/j.scico.2012.05.005},\n doi = {10.1016/j.scico.2012.05.005},\n timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/scp/AlpuenteJKR13.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Alpuente, M.","Joubert, C.","Kowalewski, S.","Roveri, M."],"key":"DBLP:journals/scp/AlpuenteJKR13","id":"DBLP:journals/scp/AlpuenteJKR13","bibbaseid":"alpuente-joubert-kowalewski-roveri-prefacetothespecialsectiononformalmethodsforindustrialcriticalsystemsfmics2009fmics2010-2013","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.scico.2012.05.005"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/83/563.bib","dataSources":["SzPGZamk2BCyHJTQr"],"keywords":[],"search_terms":["preface","special","section","formal","methods","industrial","critical","systems","fmics","2009","fmics","2010","alpuente","joubert","kowalewski","roveri"],"title":"Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)","year":2013}