Pao-Ann Hsiung, Farn Wang, "A State Graph Manipulator Tool for Real-Time System Specification and Verification," Real-Time Computing Systems and Applications, International Workshop on, pp. 181, Fifth International Conference on Real-Time Computing Systems and Applications (RTCSA'98), 1998.

@article{ 10.1109/RTCSA.1998.726415,
author = {Pao-Ann Hsiung and Farn Wang},
title = {A State Graph Manipulator Tool for Real-Time System Specification and Verification},
journal ={Real-Time Computing Systems and Applications, International Workshop on},
volume = {0},
year = {1998},
isbn = {0-8186-9209-X},
pages = {181},
doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.1998.726415},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Real-Time Computing Systems and Applications, International Workshop on
TI - A State Graph Manipulator Tool for Real-Time System Specification and Verification
SN - 0-8186-9209-X
SP
EP
A1 - Pao-Ann Hsiung,
A1 - Farn Wang,
PY - 1998
VL - 0
JA - Real-Time Computing Systems and Applications, International Workshop on
ER -