Home
About me
Publications
Projects
Supervision
Activities
News
Teaching
Luís Soares Barbosa
About me
Publications
Projects
Supervision
Activities
News
Teaching
Publications
DBLP
RepositoriUM
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
Specification of paraconsistent transition systems, revisited
Juliana Cunha, Alexandre Madeira and L. S. Barbosa. Sci. Comput. Program., 240, 2025.