Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj. Updatable Timed Automata with Additive and Diagonal Constraints. In Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe, editors, Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings. Volume 5028 of Lecture Notes in Computer Science, pages 407-416, Springer, 2008. [doi]
@inproceedings{ManasaKN08,
title = {Updatable Timed Automata with Additive and Diagonal Constraints},
author = {Lakshmi Manasa and Shankara Narayanan Krishna and Kumar Nagaraj},
year = {2008},
doi = {10.1007/978-3-540-69407-6_44},
url = {http://dx.doi.org/10.1007/978-3-540-69407-6_44},
tags = {constraints},
researchr = {https://researchr.org/publication/ManasaKN08},
cites = {0},
citedby = {0},
pages = {407-416},
booktitle = {Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings},
editor = {Arnold Beckmann and Costas Dimitracopoulos and Benedikt Löwe},
volume = {5028},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-69405-2},
}