A Primitive Recursive Algorithm for the General Petri Net Reachability Problem - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Zakaria Bouziane. A Primitive Recursive Algorithm for the General Petri Net Reachability Problem. In FOCS. pages 130-136, 1998. [doi]

@inproceedings{Bouziane98,
  title = {A Primitive Recursive Algorithm for the General Petri Net Reachability Problem},
  author = {Zakaria Bouziane},
  year = {1998},
  url = {http://dlib.computer.org/conferen/focs/9172/pdf/91720130.pdf},
  researchr = {https://researchr.org/publication/Bouziane98},
  cites = {0},
  citedby = {0},
  pages = {130-136},
  booktitle = {FOCS},
}

runs on WebDSL