Author:
Andersen H.R.,Hulgaard H.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Model Abstraction for Discrete-Event Systems Using a SAT Solver;IEEE Access;2023
2. A Subatomic Proof System for Decision Trees;ACM Transactions on Computational Logic;2022-10-20
3. Control Explicit--Data Symbolic Model Checking;ACM Transactions on Software Engineering and Methodology;2016-05-16
4. 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
5. Power Aware System Refinement;Electronic Notes in Theoretical Computer Science;2008-03