FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

DOI10.1007/11590156zbMath1172.68542OpenAlexW2484051058MaRDI QIDQ5897793

Stefan Göller, Markus Lohrey

Publication date: 14 November 2006

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

Full work available at URL: https://doi.org/10.1007/11590156

Mathematics Subject Classification ID

Games involving graphs (91A43) Graph theory (including graph drawing) in computer science (68R10) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Model-checking hierarchical structures ⋮ Improved model checking of hierarchical systems ⋮ Hierarchical cost-parity games

This page was built for publication: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science