Conference series Beta
International Workshop on Model Checking and Artificial Intelligence
MoChArt
- Events
- 4 (2005 to 2010)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/series/s10aad6
Events (4)
20052010
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2010 | 6 | International Workshop on Model Checking and Artificial Intelligence MoChArt | Atlanta | 2010-07-11 |
| 2008 | 5 | International Workshop on Model Checking and Artificial Intelligence MoChArt | Patras | 2008-07-21 |
| 2006 | 4 | International Workshop on Model Checking and Artificial Intelligence MoChArt | Riva del Garda | 2006-08-29 |
| 2005 | Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005 | San Francisco |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| Springer LOD (2018) |
|
|---|---|
| confref portal (2020) | |
| Wikidata | |
| dblp | |
| GND |
Cite
International Workshop on Model Checking and Artificial Intelligence. confref identifier s10aad6. https://id.confref.org/series/s10aad6
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.