C.-s. Chung, M.-k. Lee, M.-s. Jeong, "A Scaleable and Modular Approach to Verification of ATM Switching System Using Reverse Specification," Asia-Pacific Software Engineering Conference, pp. 278, Fifth Asia-Pacific Software Engineering Conference (APSEC'98), 1998.

@article{ 10.1109/APSEC.1998.733730,
author = {C.-s. Chung and M.-k. Lee and M.-s. Jeong},
title = {A Scaleable and Modular Approach to Verification of ATM Switching System Using Reverse Specification},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {1998},
isbn = {0-8186-9183-2},
pages = {278},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1998.733730},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - A Scaleable and Modular Approach to Verification of ATM Switching System Using Reverse Specification
SN - 0-8186-9183-2
SP
EP
A1 - C.-s. Chung,
A1 - M.-k. Lee,
A1 - M.-s. Jeong,
PY - 1998
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -