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.
BibTex
x
@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}, }
RefWorks Procite/RefMan/Endnote
x
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 -
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb