Extending GPenSIM for Model Checking on Petri Nets
Abstract
No abstract.
Paper Details
Title
Extending GPenSIM for Model Checking on Petri Nets
Published Date
Mar 29, 2020
Citation AnalysisPro
You’ll need to upgrade your plan to Pro
Looking to understand the true influence of a researcher’s work across journals & affiliations?
- Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
- Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.
Notes
History