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