V.A. Braberman, D.V. Hung, "On Checking Timed Automata for Linear Duration Invariants," Real-Time Systems Symposium, IEEE International, pp. 264, 19th IEEE Real-Time Systems Symposium (RTSS'98), 1998.

@article{ 10.1109/REAL.1998.739752,
author = {V.A. Braberman and D.V. Hung},
title = {On Checking Timed Automata for Linear Duration Invariants},
journal ={Real-Time Systems Symposium, IEEE International},
volume = {0},
year = {1998},
issn = {1052-8725},
pages = {264},
doi = {http://doi.ieeecomputersociety.org/10.1109/REAL.1998.739752},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Real-Time Systems Symposium, IEEE International
TI - On Checking Timed Automata for Linear Duration Invariants
SN - 1052-8725
SP
EP
A1 - V.A. Braberman,
A1 - D.V. Hung,
PY - 1998
VL - 0
JA - Real-Time Systems Symposium, IEEE International
ER -