Publication | Open Access
Occam's Razor applied to the Petri net coverability problem
11
Citations
9
References
2018
Year
Mathematical ProgrammingPetri NetEngineeringReachability ProblemStochastic Petri NetFormal MethodsComputer ScienceDiscrete MathematicsCombinatorial Optimization
| Year | Citations | |
|---|---|---|
Page 1
Page 1