Author:
Andersen H.R.,Hulgaard H.
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dynamic Power Synthesis Techniques for Combinational Circuit;2023 International Conference on Recent Advances in Science and Engineering Technology (ICRASET);2023-11-23
2. Model Abstraction for Discrete-Event Systems Using a SAT Solver;IEEE Access;2023
3. A Subatomic Proof System for Decision Trees;ACM Transactions on Computational Logic;2022-10-20
4. Control Explicit--Data Symbolic Model Checking;ACM Transactions on Software Engineering and Methodology;2016-05-16
5. Combining different binary decision diagram techniques for solving models with multiple failure states;Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability;2011-03-01