Gutierrez, J., & Bradfield, J. (2011). Model-checking games for fixpoint logics with partial order models.
Chicago Style (17th ed.) CitationGutierrez, J., and J. Bradfield. Model-checking Games for Fixpoint Logics with Partial Order Models. 2011.
MLA (9th ed.) CitationGutierrez, J., and J. Bradfield. Model-checking Games for Fixpoint Logics with Partial Order Models. 2011.
Warning: These citations may not always be 100% accurate.