Event Beta

International Workshop on Model Checking and Artificial Intelligence

Name: International Workshop on Model Checking and Artificial Intelligence
Start: 2006-08-29
End: 2006-08-29
Location: Riva del Garda

MoChArt

Date: 2006-08-29
Place: Riva del Garda, Italy on the map
Series: International Workshop on Model Checking and Artificial Intelligence
Edition: 4
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e106dwc

Proceedings

Title	DOI	Year	Record
Model Checking and Artificial Intelligence LNCS 4428	10.1007/978-3-540-74128-2	2007	Springer
Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers Lecture Notes in Computer Science 4428	10.1007/978-3-540-74128-2	2007	dblp

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

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

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

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