Time window temporal logic

authors: Cristian-Ioan Vasile, Derya Aksaray, Calin Belta

venue (journal): Theoretical Computer Science

date: 2017

specification languages

• TWTL

keywords

(nil)

URL

• https://arxiv.org/abs/1602.04294
• https://dx.doi.org/10.1016/j.tcs.2017.07.012 (auto-generated link)

BibTeX

@article{98c098da-0dbb-493e-8053-54cf9e359024,
  title = {Time window temporal logic},
  author = {Cristian-Ioan Vasile AND Derya Aksaray AND Calin Belta},
  year = {2017},
  journal = {Theoretical Computer Science},
}