search author

DBLP BibTeX Record 'conf/dac/AzemaVD76'

@inproceedings{DBLP:conf/dac/AzemaVD76,
  author    = {Pierre Az{\'e}ma and
               Robert Valette and
               Michel Diaz},
  title     = {Petri nets as a common tool for design verification and
               hardware simulation},
  booktitle = {DAC},
  year      = {1976},
  pages     = {109-116},
  ee        = {http://doi.acm.org/10.1145/800146.804803},
  crossref  = {DBLP:conf/dac/1976},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dac/1976,
  editor    = {Donald J. Humcke and
               J. Michael Galey and
               Stephen A. Szygenda and
               Pat O. Pistilli and
               Nitta P. Dooner and
               Judith G. Brinsfield and
               J. S. Olila},
  title     = {Proceedings of the 13th Design Automation Conference, DAC
               '76, San Francisco, California, USA, June 28-30, 1976},
  booktitle = {DAC},
  publisher = {ACM},
  year      = {1976},
  ee        = {http://dl.acm.org/citation.cfm?id=800146},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}