I. ?U?U
AuthID: R-00H-GKC
1
TITLE: Logics for actor networks: A case study in constrained hybridization: A case study in constrained hybridization
AUTHORS: Fiadeiro, J; Ţuţu, I; Lopes, A ; Pavlovic, D;
PUBLISHED: 2018, SOURCE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS
AUTHORS: Fiadeiro, J; Ţuţu, I; Lopes, A ; Pavlovic, D;
PUBLISHED: 2018, SOURCE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS
INDEXED IN: Scopus