He, XD. (1998). Transformations on hierarchical predicate transition nets: Refinements and abstractions
.
Proceedings - International Computer Software and Applications Conference, 164-169. 10.1109/CMPSAC.1998.716652
He, XD. (1998). Transformations on hierarchical predicate transition nets: Refinements and abstractions
. Proceedings - International Computer Software and Applications Conference, 164-169. 10.1109/CMPSAC.1998.716652