Transition systems over games

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

Standard

Transition systems over games. / Levy, Paul Blain; Staton, Sam.

CSL-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) . Association for Computing Machinery , 2014. 64.

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

Harvard

Levy, PB & Staton, S 2014, Transition systems over games. in CSL-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) ., 64, Association for Computing Machinery . https://doi.org/10.1145/2603088.2603150

APA

Levy, P. B., & Staton, S. (2014). Transition systems over games. In CSL-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) [64] Association for Computing Machinery . https://doi.org/10.1145/2603088.2603150

Vancouver

Levy PB, Staton S. Transition systems over games. In CSL-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) . Association for Computing Machinery . 2014. 64 https://doi.org/10.1145/2603088.2603150

Author

Levy, Paul Blain ; Staton, Sam. / Transition systems over games. CSL-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) . Association for Computing Machinery , 2014.

Bibtex

@inproceedings{e95e2668c14b4716b2c8b26dd74a8035,
title = "Transition systems over games",
author = "Levy, {Paul Blain} and Sam Staton",
year = "2014",
month = jul,
day = "14",
doi = "10.1145/2603088.2603150",
language = "English",
booktitle = "CSL-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)",
publisher = "Association for Computing Machinery ",

}

RIS

TY - GEN

T1 - Transition systems over games

AU - Levy, Paul Blain

AU - Staton, Sam

PY - 2014/7/14

Y1 - 2014/7/14

U2 - 10.1145/2603088.2603150

DO - 10.1145/2603088.2603150

M3 - Conference contribution

BT - CSL-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)

PB - Association for Computing Machinery

ER -