BibTeX record phd/hal/Nicolescu02

download as .bib file

@phdthesis{DBLP:phd/hal/Nicolescu02,
  author       = {Gabriela Nicolescu},
  title        = {Sp{\'{e}}cification et validation des syst{\`{e}}mes h{\'{e}}t{\'{e}}rog{\`{e}}nes
                  embarqu{\'{e}}s. (Specification and validation for heterogeneous
                  embedded systems)},
  school       = {Grenoble Institute of Technology, France},
  year         = {2002},
  url          = {https://tel.archives-ouvertes.fr/tel-00002938},
  timestamp    = {Tue, 21 Jul 2020 00:40:51 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Nicolescu02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics