Use of Petri Nets for Proving Correctness of Concurrent Process Systems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Kurt Lautenbach, Hans Albrecht Schmid. Use of Petri Nets for Proving Correctness of Concurrent Process Systems. In IFIP Congress. pages 187-191, 1974.

@inproceedings{LautenbachS74,
  title = {Use of Petri Nets for Proving Correctness of Concurrent Process Systems},
  author = {Kurt Lautenbach and Hans Albrecht Schmid},
  year = {1974},
  researchr = {https://researchr.org/publication/LautenbachS74},
  cites = {0},
  citedby = {0},
  pages = {187-191},
  booktitle = {IFIP Congress},
}

runs on WebDSL