Emil Dumitrescu Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmil Dumitrescu, Mingming Ren, Laurent Piétrac, Éric Niel: A supervisor implementation approach in Discrete Controller Synthesis. ETFA 2008: 1433-1440
2003
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominique Borrione, Menouer Boubekeur, Emil Dumitrescu, Marc Renaudin, Jean-Baptiste Rigaud, Antoine Sirianni: An Approach to the Introduction of Formal Validation in an Asynchronous Circuit Design Flow. HICSS 2003: 279
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmil Dumitrescu, Dominique Borrione: Symbolic Simulation as a Simplifying Strategy for SoC Verification. IWSOC 2003: 378-383

Coauthor Index

1Dominique Borrione [1] [2]
2Menouer Boubekeur [2]
3Éric Niel [3]
4Laurent Piétrac [3]
5Mingming Ren [3]
6Marc Renaudin [2]
7Jean-Baptiste Rigaud [2]
8Antoine Sirianni [2]

Colors in the list of coauthors

Copyright © Fri Dec 4 16:04:45 2009 by Michael Ley (ley@uni-trier.de)