Publications

Dynamic Logic with Binders and Its Application to the Development of Reactive Systems

AuthID
P-00M-474

Author(s)

Madeira, A

Barbosa, LS

Hennicker, R

Martins, MA

Editor(s)

Sampaio, A; Wang, F

Document Type

Proceedings Paper

Year published

2016

Published

in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 9965, Pages: 422-440 (19)

Conference

13Th International Colloquium on Theoretical Aspects of Computing (Ictac), Date: OCT 24-31, 2016, Location: Natl Taiwan Univ, Taipei, TAIWAN, Sponsors: Microsoft Res, Springer, EasyChair, Minist Sci & Technol, Minist Educ, Minist Econ Affairs, Taipei Municipal Govt, Host: Natl Taiwan Univ

Indexing