Name
Title | ||
|---|---|---|
Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes. |
Year | DOI | Field |
|---|---|---|
2019 | 10.1007/978-3-030-21759-4_9 | Finite set,Petri net,Model checking,Computer science,Regular polygon,Theoretical computer science,Polytope,Multiple time dimensions |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jannik Hüls | 1 | 0 | 0.34 |
| Anne Remke | 2 | 175 | 23.96 |