Model checking and artificial intelligence: 5th international workshop ; revised selected and… by MoChArt, Patras) fromLecture Notes in Computer Science 0 Type: Book
