BR
Bruno Rouzeyre
1
Documents
Identifiants chercheurs
- bruno-rouzeyre
- IdRef : 07124705X
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic VerificationDATE: Design, Automation and Test in Europe, Mar 2002, Paris, France. pp.285-289, ⟨10.1109/DATE.2002.998286⟩
Communication dans un congrès
lirmm-00268497v1
|