Rodrigo Alves, Juliana Cunha, Alexandre Madeira. First Steps in a Paraconsistent Transition Systems Toolkit. In Giuseppe De Giacomo, Jianwen Li, Lili Xiao, editors, Theoretical Aspects of Software Engineering - 20th International Symposium, TASE 2026, Shanghai, China, July 4-6, 2026, Proceedings. Volume 16697 of Lecture Notes in Computer Science, pages 368-385, Springer, 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.