Title | ||
---|---|---|
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds): Handbook of model checking - Springer International Publishing AG, Cham, Switzerland, 2018. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1007/s00165-019-00486-z | Formal Aspects of Computing |
DocType | Volume | Issue |
Journal | 31 | 4 |
ISSN | Citations | PageRank |
0934-5043 | 0 | 0.34 |
References | Authors | |
0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Igor Konnov | 1 | 57 | 12.06 |