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 proceedingConference contribution

E-pub ahead of print

Documents

Original languageEnglish
Title of host publicationDynamic Logic. New Trends and Applications
Subtitle of host publicationFirst International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
PublisherSpringer
Pages98-114
Number of pages17
ISBN (Electronic)978-3-319-73579-5
ISBN (Print)978-3-319-73578-8
DOIs
StateE-pub ahead of print - 3 Jan 2018

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume10669
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 28778544