TítuloMulti-modal CTL: Completeness, complexity, and an application
Publication TypeJournal Article
Year of Publication2009
AuthorsAgotnes T, van der Hoek W, Rodríguez-Aguilar JA, Sierra C, Wooldridge M
JournalStudia Logica
Volume91
Paginación1-26