Model Checking Games

From MaRDI portal
Publication:4916199

DOI10.1016/S1571-0661(04)80538-3zbMath1261.68086OpenAlexW2025902224MaRDI QIDQ4916199

Erich Grädel

Publication date: 19 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80538-3




Related Items (6)



Cites Work




This page was built for publication: Model Checking Games