About this scholarly article

10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Model Checking Live Sequence Charts by Jun Sun, ; Jin Song Dong, is a scholarly article available to read on EtoBox.

Author

Jun Sun, ; Jin Song Dong,

Publisher

IEEE

Published

2005