Publisher
Springer International Publishing
Reference19 articles.
1. Akesson, K., Fabian, M., Flordal, H., Malik, R.: Supremica-an integrated environment for verification, synthesis and simulation of discrete event systems. In: International Workshop on Discrete Event Systems, pp. 384–385. IEEE (2006)
2. Andersen, H.R.: An Introduction to Binary Decision Diagrams. Lecture Notes, (available online), IT University of Copenhagen (1997). http://web.archive.org/web/20140222052815/http:/configit.com/configit_wordpress/wp-content/uploads/2013/07/bdd-eap.pdf
3. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput. 100(8), 677–691 (1986)
4. Bryant, R.E.: Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surv. 24(3), 293–318 (1992)
5. Chao, W., Gan, Y., Wang, Z., Wonham, W.M.: Modular supervisory control and coordination of state tree structures. Int. J. Control 86(1), 9–21 (2013)