Name
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/978-3-642-39176-7_6 | SPIN |
Keywords | DocType | Citations |
model checking | Conference | 11 |
PageRank | References | Authors |
0.60 | 16 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Tomáš Babiak | 1 | 90 | 3.70 |
| Thomas Badie | 2 | 11 | 0.60 |
| Alexandre Duret Lutz | 3 | 213 | 17.70 |
| Mojmír Kretínský | 4 | 88 | 7.11 |
| Jan Strejcek | 5 | 99 | 13.83 |