On Computing Canonical Subsets of Graph-Based Behavioral Representations

by Walter C. Mankowski , Peter Bogunovich , Ali Shokouf , Dario D. Salvucci