Title | ||
---|---|---|
Logic Meets Algebra - Compositional Timing Analysis for Synchronous Reactive Multithreading. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1007/978-3-030-22348-9_5 | Models, Mindsets, Meta |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael Mendler | 1 | 314 | 34.60 |
Joaquin Aguado | 2 | 41 | 4.65 |
Bruno Bodin | 3 | 0 | 0.34 |
Partha S. Roop | 4 | 356 | 48.28 |
Reinhard von Hanxleden | 5 | 412 | 47.20 |