Reachability Graph of Finite Deterministic DEVS”, (2007)

by MH Hwang, BP Zeigler
Venue:IEEE Transactions on Automation Science and Engineering,