BibTeX record conf/date/IliasovASM14

download as .bib file

@inproceedings{DBLP:conf/date/IliasovASM14,
  author    = {Alex Iliasov and
               Arseniy Alekseyev and
               Danil Sokolov and
               Andrey Mokhov},
  editor    = {Gerhard P. Fettweis and
               Wolfgang Nebel},
  title     = {Design of safety critical systems by refinement},
  booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
               {DATE} 2014, Dresden, Germany, March 24-28, 2014},
  pages     = {1--4},
  publisher = {European Design and Automation Association},
  year      = {2014},
  url       = {https://doi.org/10.7873/DATE.2014.100},
  doi       = {10.7873/DATE.2014.100},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/date/IliasovASM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics