Automata, Logics, and Infinite Games
Automata, Logics, and Infinite Games
Thomas Wilke
,
Erich Grädel
,
Wolfgang Thomas
4.2
(5)
on Goodreads
Details
OL Work ID
OL26727932W
Find this book
Goodreads
Open Library