Analysis of software design modeled by multiple finite state machines.

Tsun S. Chow

Browse the full COMPSAC paper archive.