Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers Doron A. Peled, Michael J. Wooldridge creator (edición) text monographic ING 1 libro electrónico en línea (VII, 189 p.) 1 recurso en línea Licencias ilimitadas Catalogación rápida XX Libro en línea (Lecture Notes in Computer Science) 978-3-642-00431-5 1611-3349 Acervo ITESO - Biblioteca https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-642-00431-5 Licencias ilimitadas 000607756