Name
Year | DOI | Venue |
|---|---|---|
2014 | 10.1007/978-3-319-13338-6_3 | Haifa Verification Conference |
Field | DocType | Citations |
Abstraction,Model checking,Computer science,Algorithm,Exploit,Theoretical computer science,Real-time computing,Black box,State space,Special case,Bounded function,Satisfiability modulo theories | Conference | 0 |
PageRank | References | Authors |
0.34 | 17 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Georges Morbé | 1 | 13 | 1.93 |
| Christian Miller | 2 | 36 | 4.39 |
| Christoph Scholl | 3 | 346 | 32.07 |
| B. Becker | 4 | 191 | 21.44 |