Paraconsistent Reactive Graphs

Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa. Paraconsistent Reactive Graphs. In José Proença, Raul Fervari, Manuel A. Martins 0001, Reinhard Kahle, Graham Pluck, editors, 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 of Lecture Notes in Computer Science, pages 105-111, Springer, 2024. [doi]

Abstract

Abstract is missing.