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. Springer, 2018. p. 98-114 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Documents

  • paper

    Accepted author manuscript, 577 KB, PDF-document

Original languageEnglish
Title of host publicationDynamic Logic: new trends and applications
PublisherSpringer
Pages98-114
DOIs
StatePublished - 3 Jan 2018

Publication series

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

ID: 28778544