He, X, Yu, H, Deng, Y. (2006). Formal methods for specifying and analyzing complex software systems
.
123-150. 10.1007/1-4020-4223-X_6
He, X, Yu, H, Deng, Y. (2006). Formal methods for specifying and analyzing complex software systems
. 123-150. 10.1007/1-4020-4223-X_6