Paper Info
Title
Abstraction-Based Incremental Inductive Coverability for Petri Nets.
Year
DOI
Venue
2021
10.1007/978-3-030-76983-3_19
Petri Nets
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Jiawen Kang100.68
Yunjun Bai201.35
Li Jiao333.50