Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Aspects of Symmetry in Petri Nets;WSEAS TRANSACTIONS ON COMPUTERS;2024-07-01
2. Modular State Spaces - A New Perspective;Lecture Notes in Computer Science;2024
3. Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking;Lecture Notes in Computer Science;2022
4. Portfolio Management in Explicit Model Checking;Transactions on Petri Nets and Other Models of Concurrency XVI;2022
5. Using Approximation for the Verification of Token-Scaling Models;Transactions on Petri Nets and Other Models of Concurrency XVI;2022