GOAL for games, omega-automata, and logics
Journal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal Volume
8044 LNCS
Pages
883-889
Date Issued
2013
Author(s)
Type
book