Name
Abstract | ||
|---|---|---|
Mimicking the behaviour of ants in nature can lead to the identification of subtle errors in concurrent software systems and thereby boost the efficiency of model checking. |
Year | Venue | Field |
|---|---|---|
2008 | ERCIM NEWS | Software engineering,Computer science,Computer security,Software |
DocType | Volume | Issue |
Journal | 2008 | 75 |
ISSN | Citations | PageRank |
0926-4981 | 1 | 0.63 |
References | Authors | |
0 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| J. Francisco Chicano | 1 | 132 | 9.27 |
| Enrique Alba | 2 | 3796 | 242.34 |