BibTeX record phd/hal/Point00

download as .bib file

@phdthesis{DBLP:phd/hal/Point00,
  author    = {G{\'{e}}rald Point},
  title     = {AltaRica : Contribution {\`{a}} l'unification des m{\'{e}}thodes
               formelles et de la s{\^{u}}ret{\'{e}} de fonctionnement. (AltaRica:
               Contribution to the unification of formal methods and safety assessment)},
  school    = {University of Bordeaux, France},
  year      = {2000},
  url       = {https://tel.archives-ouvertes.fr/tel-00353284},
  timestamp = {Fri, 15 Jul 2016 10:46:58 +0200},
  biburl    = {https://dblp.org/rec/phd/hal/Point00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics