Author:
Lennartson Bengt,Liang Xudong,Noori-Hosseini Mona
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compositional Verification of Finite Automata under Event Preemption;2021 60th IEEE Conference on Decision and Control (CDC);2021-12-14
2. Incremental Abstraction - An Analytical and Algorithmic Perspective on Petri Net Reduction;2021 IEEE 17th International Conference on Automation Science and Engineering (CASE);2021-08-23
3. The birth of a science;History of science and technology;2020-12-12