diff --git a/biblio.bib b/biblio.bib index b95aa84..2ae127d 100644 --- a/biblio.bib +++ b/biblio.bib @@ -1668,22 +1668,22 @@ } @inproceedings{DBLP:conf/hase/Petrenko0GHO14, - author = {Alexandre Petrenko and - Keqin Li and - Roland Groz and - Karim Hossen and - Catherine Oriat}, - title = {Inferring Approximated Models for Systems Engineering}, - booktitle = {15th International {IEEE} Symposium on High-Assurance Systems Engineering, - {HASE} 2014, Miami Beach, FL, USA, January 9-11, 2014}, - pages = {249--253}, - publisher = {{IEEE} Computer Society}, - year = {2014}, - url = {https://doi.org/10.1109/HASE.2014.46}, - doi = {10.1109/HASE.2014.46}, - timestamp = {Thu, 25 May 2017 00:41:35 +0200}, - biburl = {https://dblp.org/rec/bib/conf/hase/Petrenko0GHO14}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {Alexandre Petrenko and + Keqin Li and + Roland Groz and + Karim Hossen and + Catherine Oriat}, + title = {Inferring Approximated Models for Systems Engineering}, + booktitle = {15th International {IEEE} Symposium on High-Assurance Systems Engineering, + {HASE} 2014, Miami Beach, FL, USA, January 9-11, 2014}, + pages = {249--253}, + publisher = {{IEEE} Computer Society}, + year = {2014}, + url = {https://doi.org/10.1109/HASE.2014.46}, + doi = {10.1109/HASE.2014.46}, + timestamp = {Thu, 25 May 2017 00:41:35 +0200}, + biburl = {https://dblp.org/rec/bib/conf/hase/Petrenko0GHO14}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{PetrenkoY14,