Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins. Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. In Augusto Sampaio, Farn Wang, editors, Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. Volume 9965 of Lecture Notes in Computer Science, pages 422-440, 2016. [doi]
@inproceedings{MadeiraBHM16,
title = {Dynamic Logic with Binders and Its Application to the Development of Reactive Systems},
author = {Alexandre Madeira and Luís Soares Barbosa and Rolf Hennicker and Manuel A. Martins},
year = {2016},
doi = {10.1007/978-3-319-46750-4_24},
url = {http://dx.doi.org/10.1007/978-3-319-46750-4_24},
researchr = {https://researchr.org/publication/MadeiraBHM16},
cites = {0},
citedby = {0},
pages = {422-440},
booktitle = {Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings},
editor = {Augusto Sampaio and Farn Wang},
volume = {9965},
series = {Lecture Notes in Computer Science},
isbn = {978-3-319-46749-8},
}