Problems Concerning Fairness and Temporal Logic for Conflict-Free Petri Nets

@article{Howell1989ProblemsCF,
  title={Problems Concerning Fairness and Temporal Logic for Conflict-Free Petri Nets},
  author={Rodney R. Howell and Louis E. Rosier},
  journal={Theor. Comput. Sci.},
  year={1989},
  volume={64},
  pages={305-329}
}

From This Paper

Topics from this paper.