Name
Title | ||
|---|---|---|
Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings |
Year | Venue | Keywords |
|---|---|---|
2010 | SPIN | model checking |
Field | DocType | Volume |
Abstraction model checking,Programming language,Model checking,Concurrency,Computer science,Automated proof checking,Theoretical computer science,Concolic testing,Satisfiability modulo theories,Symbolic trajectory evaluation,Büchi automaton | Conference | 6349 |
ISBN | Citations | PageRank |
isbn | 14 | 0.86 |
References | Authors | |
0 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jaco Van De Pol | 1 | 1022 | 78.19 |
| Michael Weber | 2 | 240 | 11.93 |