KAT + B!
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
KAT + B! / Grathwohl, Niels Bjørn Bugge; Kozen, Dexter; Mamouras, Konstantinos.
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. 44.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Grathwohl, NBB, Kozen, D & Mamouras, K 2014, KAT + B! 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) ., 44, Association for Computing Machinery, CSL-LICS '14, Vienna, Austria, 14/07/2014. https://doi.org/10.1145/2603088.2603095
APA
Grathwohl, N. B. B., Kozen, D., & Mamouras, K. (2014). KAT + B! 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) [44] Association for Computing Machinery. https://doi.org/10.1145/2603088.2603095
Vancouver
Grathwohl NBB, Kozen D, Mamouras K. KAT + B! 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. 44 https://doi.org/10.1145/2603088.2603095
Author
Bibtex
@inproceedings{1ea3610a2256414d8724080e9fffba6a,
title = "KAT + B!",
author = "Grathwohl, {Niels Bj{\o}rn Bugge} and Dexter Kozen and Konstantinos Mamouras",
year = "2014",
doi = "10.1145/2603088.2603095",
language = "English",
isbn = "978-1-4503-2886-9",
booktitle = "CSL-LICS '14",
publisher = "Association for Computing Machinery",
note = "null ; Conference date: 14-07-2014 Through 18-07-2014",
}
RIS
TY - GEN
T1 - KAT + B!
AU - Grathwohl, Niels Bjørn Bugge
AU - Kozen, Dexter
AU - Mamouras, Konstantinos
PY - 2014
Y1 - 2014
U2 - 10.1145/2603088.2603095
DO - 10.1145/2603088.2603095
M3 - Article in proceedings
SN - 978-1-4503-2886-9
BT - CSL-LICS '14
PB - Association for Computing Machinery
Y2 - 14 July 2014 through 18 July 2014
ER -
ID: 136802129