dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Michel Diaz (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Diaz, Pierre Azéma: Petri net based models for the specification and validation of protocols. European Workshop on Applications and Theory in Petri Nets 1984: 101-121
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Michel Ayache, Pierre Azéma, Michel Diaz: Towards Fault Tolerant Real Time Systems by Using Petri Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 228-233
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Diaz, Pierre Azéma, Jean-Michel Ayache: Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines. IEEE Trans. Computers 28(3): 276-281 (1979)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Azéma, Robert Valette, Michel Diaz: Petri nets as a common tool for design verification and hardware simulation. DAC 1976: 109-116

Selection of 4 from 105 records - Michel Diaz has 121 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page