Author:
Kim Jinkyung,Kim Mikyung,Moon Il
Subject
Computer Science Applications,General Chemical Engineering
Reference10 articles.
1. Graph-Based Algorithms for Boolean Function Manipulation
2. International Conference on Computer-Aided Design;Ochi,1993
3. Embedded tutorial at International Conference on Computer-Aided Design;Bryant,1995
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Symbolic Verification of Control Systems and Operating Procedures;Industrial & Engineering Chemistry Research;2014-02-28
2. Automatic Synthesis for the Reachability of Process Systems with a Model Checking Algorithm;Industrial & Engineering Chemistry Research;2013-02-06
3. Model Checking for Automatic Verification of Control Logics in Chemical Processes;Industrial & Engineering Chemistry Research;2011-01-19
4. Graphical modeling for the safety verification of chemical processes;16th European Symposium on Computer Aided Process Engineering and 9th International Symposium on Process Systems Engineering;2006