Stubborn Sets for Real-Time Petri Nets - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Robert H. Sloan, Ugo A. Buy. Stubborn Sets for Real-Time Petri Nets. Formal Methods in System Design, 11(1):23-40, 1997.

@article{SloanB97,
  title = {Stubborn Sets for Real-Time Petri Nets},
  author = {Robert H. Sloan and Ugo A. Buy},
  year = {1997},
  researchr = {https://researchr.org/publication/SloanB97},
  cites = {0},
  citedby = {0},
  journal = {Formal Methods in System Design},
  volume = {11},
  number = {1},
  pages = {23-40},
}

runs on WebDSL