Francisco Dionísio

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Satisfiability Problem

Temporal Epistemic

Formal Specification

Bounded Model Checking

Top Venues

J. Log. Comput.

Publications

Augusto Peres, Jaime Ramos, Francisco Dionísio
Bounded model checking distributed temporal logic. J. Log. Comput. 33 (5) (2023)