Title | ||
---|---|---|
Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings |
Year | Venue | Keywords |
---|---|---|
2004 | SPIN | model checking |
Field | DocType | Volume |
Model checking,Unified Modeling Language,Computer science,Conformance testing,Theoretical computer science,Software,Symbolic execution,Promela,Buffer overflow,Software verification | Conference | 2989 |
ISBN | Citations | PageRank |
isbn | 25 | 2.24 |
References | Authors | |
0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
spin | 1 | 25 | 2.24 |
Susanne Graf | 2 | 400 | 24.11 |
Laurent Mounier | 3 | 1187 | 79.54 |