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.
BibTex
x
@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}, }
RefWorks Procite/RefMan/Endnote
x
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 -
Pao-Ann Hsiung, Farn Wang, "A State Graph Manipulator Tool for Real-Time System Specification and Verification," rtcsa, pp.181, Fifth International Conference on Real-Time Computing Systems and Applications (RTCSA'98), 1998
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb