Transformations on Hierarchical Predicate Transition Nets: Refinements and Abstractions.

Xudong He

Browse the full COMPSAC paper archive.