Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Michelle Honey
Tidjani Négadi
Elena Orellana Tapia
Jhonathan Pinzon
Liangliang Shang
Giovanni Venturelli
Chen Ma
Melanie Eckle
Jing-Sheng Wong
Radu Timofte
Home
/
Paper
/
Optimizing Algebraic Petri Net Model Checking by Slicing.
Paper Info
Open Visualization
Title
Optimizing Algebraic Petri Net Model Checking by Slicing.
Year
Venue
DocType
2013
PNSE+ModPE
Conference
Citations
PageRank
References
5
0.58
11
Authors
2
Authors (2 rows)
Cited by (5 rows)
References (11 rows)
Name
Order
Citations
PageRank
Yasir Khan
1
147
19.65
Matteo Risoldi
2
141
10.03
1