Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. B. Akers. Binary decision diagrams. IEEE Transactions on Computers, 27(6):509–516, 1978.
2. A. Arnold. Finite transition systems. Semantics of communicating systems. Prentice-Hall, 1994.
3. K. S. Brace, R. L. Rudell, and R. E. Bryant. Efficient Implementation of a BDD Package. In 27th ACM/IEEE Design Automation Conference, pages 40–45, Orlando, Florida, June 1990. ACM/IEEE, IEEE Computer Society Press.
4. R. Bryant. Graph based algorithms for boolean function manipulation. IEEE Transactions on Computers, 35(8):677–691, 1986.
5. Lect Notes Comput Sci;E. Clarke,1994
Cited by
76 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ω-Regular Energy Problems;Formal Aspects of Computing;2024-07-17
2. Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way;ACM Transactions on Software Engineering and Methodology;2023-09-30
3. A Temporal Logic Extension of the RISCAL Model Checker;2022 IEEE 16th International Scientific Conference on Informatics (Informatics);2022-11-23
4. From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata;Innovations in Systems and Software Engineering;2022-04-09
5. starMC: an automata based CTL* model checker;PeerJ Computer Science;2022-02-24