BibTeX record phd/hal/Kekatos18

download as .bib file

@phdthesis{DBLP:phd/hal/Kekatos18,
  author       = {Nikolaos Kekatos},
  title        = {Formal Verification of Cyber-Physical Systems in the Industrial Model-Based
                  Design Process. (V{\'{e}}rification formelle des syst{\`{e}}mes
                  cyber-physiques dans le processus industriel de la conception bas{\'{e}}e
                  sur mod{\`{e}}le)},
  school       = {Grenoble Alpes University, France},
  year         = {2018},
  url          = {https://tel.archives-ouvertes.fr/tel-02091471},
  timestamp    = {Tue, 21 Jul 2020 00:40:33 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Kekatos18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.