A Verifier for Real-Time Properties

Jonathan S. Ostroff. A Verifier for Real-Time Properties. Real-Time Systems, 4(1):5-35, 1992.

@article{Ostroff92,
  title = {A Verifier for Real-Time Properties},
  author = {Jonathan S. Ostroff},
  year = {1992},
  researchr = {https://researchr.org/publication/Ostroff92},
  cites = {0},
  citedby = {0},
  journal = {Real-Time Systems},
  volume = {4},
  number = {1},
  pages = {5-35},
}