Specifying Real-Time Properties with Metric Temporal Logic

authors: Ron Koymans

venue (journal): Real-Time Systems

date: 1990

specification languages

• MTL

keywords

(nil)

URL

• https://dx.doi.org/10.1007/BF01995674 (auto-generated link)

BibTeX

@article{96911b80-f250-4fcf-9e19-9be1e624bec8,
  title = {Specifying Real-Time Properties with Metric Temporal Logic},
  author = {Ron Koymans},
  year = {1990},
  journal = {Real-Time Systems},
}