Infinite Games and Verification (Extended Abstract of a Tutorial).

Wolfgang Thomas Infinite Games and Verification (Extended Abstract of a Tutorial). 58-64 2002 conf/cav/2002 CAV http://link.springer.de/link/service/series/0558/bibs/2404/24040058.htm db/conf/cav/cav2002.html#Thomas02