Name
Year | DOI | Venue |
|---|---|---|
2014 | 10.1007/978-3-319-11439-2_17 | RP |
Field | DocType | Citations |
Transition system,Computer science,Automaton,Critical section,Finite-state machine,Theoretical computer science,Computational model,State space,Mutual exclusion,Semantics | Conference | 0 |
PageRank | References | Authors |
0.34 | 16 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ahmed Mahdi | 1 | 1 | 1.07 |
| Bernd Westphal | 2 | 0 | 3.04 |
| Martin Fränzle | 3 | 786 | 61.58 |