A Petri Net Approach for the Analysis of VHDL Descriptions (bibtex)

by Serafín Olcoz

Reference:

A Petri Net Approach for the Analysis of VHDL Descriptions (Serafín Olcoz), Chapter in Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993, Proceedings (George J. Milne, Laurence Pierre, eds.), Springer, volume 683, 1993.

Bibtex Entry:

@InCollection{Olcoz1993,
  author    = {Seraf{\'{\i}}n Olcoz and Jos{\'{e}}-Manuel Colom},
  booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5 Advanced Research Working Conference, {CHARME}'93, Arles, France, May 24-26, 1993, Proceedings},
  publisher = {Springer},
  title     = {A {Petri} Net Approach for the Analysis of {VHDL} Descriptions},
  year      = {1993},
  editor    = {George J. Milne and Laurence Pierre},
  isbn      = {3-540-56778-X},
  pages     = {15--26},
  series    = {Lecture Notes in Computer Science},
  volume    = {683},
  doi       = {10.1007/BFb0021711},
  groups    = {silarri:6},
  keywords  = {Petri Net Analysis, Petri Net Modelling, Digital Circuits, VHDL Language},
  url       = {https://doi.org/10.1007/BFb0021711},
}