BibTeX
@article{DBLP:journals/csi/LeeJLHHK07,
author = {Jae-dong Lee and
Jae-Il Jung and
Jae-Ho Lee and
Jong-Gyu Hwang and
Jin-Ho Hwang and
Sung Un Kim},
title = {Verification and conformance test generation of communication
protocol for railway signaling systems},
journal = {Computer Standards {\&} Interfaces},
volume = {29},
number = {2},
year = {2007},
pages = {143-151},
ee = {http://dx.doi.org/10.1016/j.csi.2006.03.001},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2009-06-25 by Michael Ley (ley@uni-trier.de)