共 50 条
- [1] CASCADE SYNTHESIS OF FINITE-STATE MACHINES [J]. INFORMATION AND CONTROL, 1967, 10 (04): : 419 - &
- [2] SPECIFICATION AND SYNTHESIS OF COMMUNICATING FINITE-STATE MACHINES [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 22 : 91 - 102
- [5] Periodic finite-state machines [J]. 10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, : 10 - +
- [7] State assignment of finite-state machines [J]. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2000, 147 (01): : 15 - 22
- [9] Refinement of finite-state machines [J]. CAD/GRAPHICS '2001: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN AND COMPUTER GRAPHICS, VOLS 1 AND 2, 2001, : 624 - 629