Event Beta

International Workshop on Model Checking and Artificial Intelligence

Name: International Workshop on Model Checking and Artificial Intelligence
Start: 2008-07-21
End: 2008-07-21
Location: Patras

MoChArt

Date: 2008-07-21
Place: Patras, Greece on the map
Series: International Workshop on Model Checking and Artificial Intelligence
Edition: 5
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e106dxa

Proceedings

Title	DOI	Year	Record
Model Checking and Artificial Intelligence LNCS 5348	10.1007/978-3-642-00431-5	2009	Springer
Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers Lecture Notes in Computer Science 5348	10.1007/978-3-642-00431-5	2009	dblp

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

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

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

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