A Minimized Automaton Representation of Reachable States (1999)

Cached

Download Links

by Gerard J. Holzmann , Anuj Puri
Venue:Software Tools for Technology Transfer
Citations:19 - 3 self