An algorithm for nearly-minimal collapsing of finite-state machine networks

Publisher Website

4 December 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/iccad.1990.129846

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

The FSM network model for behavioral synthesis of control-dominated machines
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
The control of discrete event systems
Proceedings of the IEEE, 1989
An algorithmic procedure for checking safety properties of protocols
IEEE Transactions on Communications, 1989
Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols
IEEE Transactions on Software Engineering, 1987