Seung Mo Cho, Hyoung Seok Hong, Sung Deok Cha, "Safety Analysis Using Coloured Petri Nets," Asia-Pacific Software Engineering Conference, pp. 176, Third Asia-Pacific Software Engineering Conference (APSEC'96), 1996.

@article{ 10.1109/APSEC.1996.566752,
author = {Seung Mo Cho and Hyoung Seok Hong and Sung Deok Cha},
title = {Safety Analysis Using Coloured Petri Nets},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {1996},
isbn = {0-8186-7638-8},
pages = {176},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1996.566752},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - Safety Analysis Using Coloured Petri Nets
SN - 0-8186-7638-8
SP
EP
A1 - Seung Mo Cho,
A1 - Hyoung Seok Hong,
A1 - Sung Deok Cha,
PY - 1996
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -