The existence of refinement mappings
Theoretical Computer Science1991Vol. 82(2), pp. 253–284
Citations Over TimeTop 1% of 1991 papers
Related Papers
- → Generating finite state machines from abstract state machines(2002)182 cited
- → Generating finite state machines from abstract state machines(2002)78 cited
- → A technique for proving liveness of communicating finite state machines with examples(1984)13 cited
- Finite State Machine Based Software Design for Industrial Controlling System(2008)
- Repid Design of Finite State Machine with STATECAD(2006)