Automata, logics, and infinite games

Saved in:
Bibliographic Details
Other Authors: Gr?adel, Erich 1958-, Thomas, Wolfgang 1947-, Wilke, Thomas 1965-
Format: Book
Published: Berlin New York Springer 2002
Series:Lecture notes in computer science ; 2500
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!