He, X, Yu, H, Deng, Y. (2009). Formal methods for specifying and analyzing complex software systems
.
243-264. 10.4018/978-1-59904-630-3.Ch017
He, X, Yu, H, Deng, Y. (2009). Formal methods for specifying and analyzing complex software systems
. 243-264. 10.4018/978-1-59904-630-3.Ch017