Name
Title | ||
|---|---|---|
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers |
Year | Venue | Keywords |
|---|---|---|
2009 | Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers | model checking,artificial intelligent |
Field | DocType | Volume |
Model checking,Artificial intelligence,Engineering | Conference | 5348 |
Citations | PageRank | References |
8 | 0.47 | 0 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Doron Peled | 1 | 3357 | 273.18 |
| Michael Wooldridge | 2 | 10010 | 810.27 |