A Temporal Logic-Based Model of Event-Driven Nets - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Viktor Cingel, Norbert Fristacky. A Temporal Logic-Based Model of Event-Driven Nets. Real-Time Systems, 3(4):407-428, 1991.

@article{CingelF91,
  title = {A Temporal Logic-Based Model of Event-Driven Nets},
  author = {Viktor Cingel and Norbert Fristacky},
  year = {1991},
  tags = {rule-based, logic},
  researchr = {https://researchr.org/publication/CingelF91},
  cites = {0},
  citedby = {0},
  journal = {Real-Time Systems},
  volume = {3},
  number = {4},
  pages = {407-428},
}

runs on WebDSL