He, XD. (2000). Formalizing UML class diagrams - A hierarchical predicate transition net approach
.
24 217-222. 10.1109/CMPSAC.2000.884721
He, XD. (2000). Formalizing UML class diagrams - A hierarchical predicate transition net approach
. 24 217-222. 10.1109/CMPSAC.2000.884721