Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-07317-0_4 | SFM |
Field | DocType | Citations |
Abstraction model checking,Parameterized complexity,Model checking,Abstraction,Computer science,Theoretical computer science,Automation,Parametric statistics,Distributed algorithm,Abstraction inversion,Distributed computing | Conference | 5 |
PageRank | References | Authors |
0.40 | 59 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Annu Gmeiner | 1 | 5 | 0.40 |
Igor Konnov | 2 | 57 | 12.06 |
Ulrich Schmid | 3 | 31 | 4.58 |
Helmut Veith | 4 | 2476 | 140.58 |
Josef Widder | 5 | 229 | 23.99 |