Timed Systems through the Lens of Logic

S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna. Timed Systems through the Lens of Logic. In 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019. pages 1-13, IEEE, 2019. [doi]

@inproceedings{AkshayGJK19,
  title = {Timed Systems through the Lens of Logic},
  author = {S. Akshay and Paul Gastin and Vincent Jugé and Shankara Narayanan Krishna},
  year = {2019},
  doi = {10.1109/LICS.2019.8785684},
  url = {https://doi.org/10.1109/LICS.2019.8785684},
  researchr = {https://researchr.org/publication/AkshayGJK19},
  cites = {0},
  citedby = {0},
  pages = {1-13},
  booktitle = {34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019},
  publisher = {IEEE},
  isbn = {978-1-7281-3608-0},
}