Compositional Reachability in Petri Nets (bibtex)
by J. Rathke, P. Sobociński and O. Stephens
Reference:
J. Rathke, P. Sobociński and O. Stephens, "Compositional Reachability in Petri Nets", In Reachability Problems, 2014.
Bibtex Entry:
@INPROCEEDINGS{Rathke2014a,
  author = {J. Rathke and P. Soboci\'{n}ski and O. Stephens},
  title = {Compositional Reachability in Petri Nets},
  booktitle = {Reachability Problems},
  year = {2014},
  note = {To appear},
  url = {https://www.southampton.ac.uk/~ps1a06/papers/rp2014.pdf}
}
Powered by bibtexbrowser