He, X, Lee, JAN. (1991). A methodology for constructing predicate transition net specifications
.
SOFTWARE-PRACTICE & EXPERIENCE, 21(8), 845-875. 10.1002/spe.4380210806
He, X, Lee, JAN. (1991). A methodology for constructing predicate transition net specifications
. SOFTWARE-PRACTICE & EXPERIENCE, 21(8), 845-875. 10.1002/spe.4380210806