Author:
Ciardo Gianfranco,Yu Andy Jinqing
Publisher
Springer Berlin Heidelberg
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Research Directions in Decision Diagram Technology;2023 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA);2023-07-05
2. Reachability Set Generation Using Hybrid Relation Compatible Saturation;Lecture Notes in Computer Science;2020
3. Saturation Enhanced with Conditional Locality: Application to Petri Nets;Application and Theory of Petri Nets and Concurrency;2019
4. Improving Saturation Efficiency with Implicit Relations;Application and Theory of Petri Nets and Concurrency;2019
5. Generation of Minimum Tree-Like Witnesses for Existential CTL;Tools and Algorithms for the Construction and Analysis of Systems;2018