Event Beta

International Workshop on Model Checking and Artificial Intelligence

Name: International Workshop on Model Checking and Artificial Intelligence
Start: 2010-07-11
End: 2010-07-11
Location: Atlanta

MoChArt

Date: 2010-07-11
Place: Atlanta, United States on the map
Series: International Workshop on Model Checking and Artificial Intelligence
Edition: 6
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e106dy8

Proceedings

Title	DOI	Year	Record
Model Checking and Artificial Intelligence LNCS 6572	10.1007/978-3-642-20674-0	2011	Springer
Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers Lecture Notes in Computer Science 6572	10.1007/978-3-642-20674-0	2011	dblp

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)	`http://lod.springer.com/data/conference/mochart2010`
confref portal (2020)	`https://id.confref.org/data/confref-portal/event/mochart2010` · page
dblp	`https://dblp.org/db/conf/mochart/mochart2010`
GND	`https://d-nb.info/gnd/16155956-6`

International Workshop on Model Checking and Artificial Intelligence. confref identifier e106dy8. https://id.confref.org/event/e106dy8

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.