2009): Games through Nested Fixpoints (0)

by T Gawlitza, H Seidl
Venue:In: Proc. of CAV, LNCS 5643