Luís Manuel Dias Coelho Soares Barbosa
AuthID: R-000-9KM
1
TITLE: Paraconsistent Reactive Graphs
AUTHORS: Juliana Cunha; Alexandre Madeira; Luís Soares Barbosa;
PUBLISHED: 2024, SOURCE: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, Collocated Workshops, International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications, ReacTS 2024 and 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2024 in Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers, VOLUME: 15551
AUTHORS: Juliana Cunha; Alexandre Madeira; Luís Soares Barbosa;
PUBLISHED: 2024, SOURCE: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, Collocated Workshops, International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications, ReacTS 2024 and 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2024 in Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers, VOLUME: 15551
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: DBLP
DBLP