Statistics
Publications
1
Citations
15
H-Index
1
Active since
2023
Affiliations
Walstan Baptista is an author at Indian Association for the Cultivation of Science specializing in real-time systems design, temporal logic reasoning, and cyber-physical systems design.
Publications per year
2023–2023
1
1
ARCH-COMP23 Category Report: Falsification
Claudio Menghi, Paolo Arcaini, Walstan Baptista et al. · EPiC series in computing · 2023 · 15 citations · Full text
1–1 of 1