The maximum set of permissible behaviors for FSM networks.

Yosinori Watanabe, Robert K. Brayton

Browse the full ICCAD paper archive.