The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Construction de Modèles Réduits et Vérification Symbolique de Circuits Industriels décrits au Niveau RTL
The work
| Authors | Emil Dumitrescu |
|---|---|
| Editors | |
| Type | phdthesis |
| Year | 2003 |
| Citekey | dumitrescu2003construction |
Where it appeared
| School | Université Joseph Fourier - Grenoble I |
|---|
Identifiers
| handle | tel-00003667 |
|---|
Access
| Landing page | https://theses.hal.science/tel-00003667 |
|---|---|
| Free full text | https://theses.hal.science/tel-00003667/document |
Empty on purpose
| doi |
Related
| Distinct from | bouzafour2018modelchecking |
|---|---|
| Distinct from | bryant1986graphbased |
| Distinct from | davis2013verified |
| Distinct from | garavel2009semantics |
| Distinct from | jules2025herve |
| Distinct from | kastenbaum2021mechanically |
| Distinct from | ploix2025comprehensive |
| Distinct from | snepscheut1983trace |
| Distinct from | toma2006verification |
A copy is held
pdf, 2.1 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-09-16 14:13 UTC |
| Not denied by | a person 2026-09-16 20:50 UTC |
Cite it as
@phdthesis{dumitrescu2003construction,
title = {Construction de Modèles Réduits et Vérification Symbolique de Circuits Industriels décrits au Niveau RTL},
author = {Emil Dumitrescu},
year = {2003},
school = {Université Joseph Fourier - Grenoble I},
}
This record lives at https://refs.drheap.org/dumitrescu2003construction/ and will keep doing so.