Name
Title | ||
|---|---|---|
Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets. |
Year | Venue | DocType |
|---|---|---|
2020 | PNSE@Petri Nets | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Anastasia Gkolfi | 1 | 0 | 0.34 |
| Einar Broch Johnsen | 2 | 1071 | 69.56 |
| Lars Michael Kristensen | 3 | 1081 | 85.12 |
| Ingrid Chieh Yu | 4 | 164 | 18.53 |