Breadcrumb Our Results Structured Specification of Paraconsistent Transition Systems Structured Specification of Paraconsistent Transition Systems Image WP 1 - Proj. #3 "Bombas de Calor e Equipamentos de combustão com H2 - Data Analytics" Type of action: Article (conference paper)Year: 2023Authors: Cunha, J. (UA), Madeira, A. (UA), Barbosa, L. S. (UA)