Víctor A. Braberman, Dang Van Hung. On Checking Timed Automata for Linear Duration Invariants. In IEEE Real-Time Systems Symposium. pages 264-273, 1998. [doi]
@inproceedings{BrabermanH98,
title = {On Checking Timed Automata for Linear Duration Invariants},
author = {Víctor A. Braberman and Dang Van Hung},
year = {1998},
url = {http://dlib.computer.org/conferen/rtss/9212/pdf/92120264.pdf},
researchr = {https://researchr.org/publication/BrabermanH98},
cites = {0},
citedby = {0},
pages = {264-273},
booktitle = {IEEE Real-Time Systems Symposium},
}