Paper: Timed Systems through the Lens of Logic (at LICS 2019)
Authors: S. Akshay Paul Gastin Vincent Jugé Shankara Narayanan Krishna
Abstract
No Abstract Available
BibTeX
@InProceedings{JugKrishna-TimedSystemsthrough, author = {S. Akshay and Paul Gastin and Vincent Jugé and Shankara Narayanan Krishna}, title = {Timed Systems through the Lens of Logic}, booktitle = {Proceedings of the Thirty fourth Annual IEEE Symposium on Logic in Computer Science (LICS 2019)}, year = {2019}, month = {June}, pages = {1--13}, location = {Vancouver}, publisher = {IEEE Computer Society Press} }