BibTeX record phd/hal/Fernandez88

download as .bib file

@phdthesis{DBLP:phd/hal/Fernandez88,
  author       = {Jean{-}Claude Fernandez},
  title        = {{ALDEBARAN} : un syst{\`{e}}me de v{\'{e}}rification par r{\'{e}}duction
                  de processus communicants. (Aldebaran : a system of verification of
                  communicating processes by using reduction)},
  school       = {Joseph Fourier University, Grenoble, France},
  year         = {1988},
  url          = {https://tel.archives-ouvertes.fr/tel-00326157},
  timestamp    = {Tue, 21 Jul 2020 00:40:36 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Fernandez88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.