Publisher
Springer International Publishing
Reference52 articles.
1. Andersen, H.R.: An Introduction to Binary Decision Diagrams. Lecture Notes, IT University of Copenhagen (1997). http://web.archive.org/web/20140222052815/http:/configit.com/configit_wordpress/wp-content/uploads/2013/07/bdd-eap.pdf
2. Angelov, C., Sierszecki, K., Marian, N.: Design models for reusable and reconfigurable state machines. In: International Conference on Embedded and Ubiquitous Computing, pp. 152–163. Springer, Berlin (2005)
3. Baruah, S.K., Rosier, L.E., Howell, R.R.: Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor. Real-Time Syst. 2(4), 301–324 (1990)
4. Brandin, B.A., Wonham, W.M.: Supervisory control of timed discrete-event systems. IEEE Trans. Autom. Control 39(2), 329–342 (1994)
5. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput. 100(8), 677–691 (1986)