1. Sacred Heart College (Autonomous)
  2. 000 Computer science, Information & General works
  3. 0.3 Artificial Intelliegence, Multimedia and Web Design
Please use this identifier to cite or link to this item: http://localhost:8080/xmlui/handle/123456789/33109
Full metadata record
DC FieldValueLanguage
dc.contributor.authorStefan Edelkamp, Piergiorgio Bertoli, Marco Bozzano (auth.) Alessio-
dc.date.accessioned2023-09-20T03:38:42Z-
dc.date.available2023-09-20T03:38:42Z-
dc.date.issued2007-
dc.identifier.isbn9783540741275-
dc.identifier.urihttp://localhost:8080/xmlui/handle/123456789/33109-
dc.language.isoenen_US
dc.publisherSpringer-Verlag Berlin Heidelbergen_US
dc.titleModel Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papersen_US
dc.typeBooken_US
Appears in Collections:0.3 Artificial Intelliegence, Multimedia and Web Design

Files in This Item:
File Description SizeFormat 
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers.pdf353.57 kBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.