Brutscheck, M., Berger, S., Franke, M., Schwarzbacher, A., Becker, S.: Structural Division Procedure for Efficient IC Analysis. IET Irish
Signals and Systems Conference, (ISSC 2008), pp.18–23. Galway, Ireland, 18–19 June 2008. [1]
doi.org
Felkin, M. (2007). Guillet, Fabrice; Hamilton, Howard J. (eds.). Quality Measures in Data Mining - Studies in Computational Intelligence. Vol. 43. Springer, Berlin, Heidelberg. pp. 277–278. doi:10.1007/978-3-540-44918-8_12. ISBN978-3-540-44911-9.
Revuz, D. (1992). "Minimization of Acyclic automata in Linear Time". Theoretical Computer Science. 92: 181–189. doi:10.1016/0304-3975(92)90142-3.
Wright, David R. (2005). "Finite State Machines"(PDF). CSC215 Class Notes. David R. Wright website, N. Carolina State Univ. Archived from the original(PDF) on 2014-03-27. Retrieved 2012-07-14.
Hamon, G. (2005). A Denotational Semantics for Stateflow. International Conference on Embedded Software. Jersey City, NJ: ACM. pp. 164–172. CiteSeerX10.1.1.89.8817.
Wright, David R. (2005). "Finite State Machines"(PDF). CSC215 Class Notes. David R. Wright website, N. Carolina State Univ. Archived from the original(PDF) on 2014-03-27. Retrieved 2012-07-14.