Logics for Actor Networks : A Case Study in Constrained Hybridization. / Lopes Fiadeiro, Jose; Tutu, Ionut; Lopes, Antónia; Pavlovic, Dusko.
Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Springer, 2018. p. 98-114 (Lecture Notes in Computer Science; Vol. 10669).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 577 KB, PDF document
Original language | English |
---|---|
Title of host publication | Dynamic Logic. New Trends and Applications |
Subtitle of host publication | First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings |
Publisher | Springer |
Pages | 98-114 |
Number of pages | 17 |
ISBN (Electronic) | 978-3-319-73579-5 |
ISBN (Print) | 978-3-319-73578-8 |
DOIs | |
Publication status | E-pub ahead of print - 3 Jan 2018 |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 10669 |
Research output: Contribution to journal › Article
ID: 28778544