Author:
Amparore Elvio Gilberto,Beccuti Marco,Donatelli Susanna
Publisher
Springer International Publishing
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. PNer: A Petri-Net-Based Model Checker for Computation Tree Logic;2023 IEEE International Conference on Networking, Sensing and Control (ICNSC);2023-10-25
2. starMC: an automata based CTL* model checker;PeerJ Computer Science;2022-02-24
3. Verifying Computation Tree Logic Based on Petri Nets;Petri Nets;2022
4. Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order;2021 International Symposium on Theoretical Aspects of Software Engineering (TASE);2021-08
5. Model Checking the Multi-Formalism Language FIGARO;2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2021-06