Transition systems over games

Paul Blain Levy, Sam Staton

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)
Original languageEnglish
Title of host publicationCSL-LICS '14 - Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
PublisherAssociation for Computing Machinery
ISBN (Electronic)9781450328869
Publication statusPublished - 14 Jul 2014

Cite this