Year | Venue | Field |
---|---|---|
2012 | Bulletin of the EATCS | Kripke structure,Discrete mathematics,Model checking,Kripke semantics,Kripke models,Mathematics |
DocType | Volume | Citations |
Journal | 108 | 3 |
PageRank | References | Authors |
0.41 | 17 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Arne Meier | 1 | 126 | 19.00 |
Julian-Steffen Müller | 2 | 37 | 4.00 |
Martin Mundhenk | 3 | 24 | 6.81 |
Heribert Vollmer | 4 | 805 | 71.64 |