BibTeX record phd/hal/CrastesDePaulet85

download as .bib file

@phdthesis{DBLP:phd/hal/CrastesDePaulet85,
  author       = {Michel Crastes de Paulet},
  title        = {Sp{\'{e}}cification et simulation fonctionnelles de circuits
                  complexes : le syst{\`{e}}me {CADOC.} (Specification and functional
                  simulation of complex circuits: the {CADOC} system)},
  school       = {Grenoble Institute of Technology, France},
  year         = {1985},
  url          = {https://tel.archives-ouvertes.fr/tel-00318467},
  timestamp    = {Tue, 21 Jul 2020 00:40:36 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/CrastesDePaulet85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}