2 citations · 4 across the 14 of their papers we have counts for
1 paper · 2 filters
Fabio Gadducci, Davide Trotta
Temporal logics stands for a widely adopted family of formalisms for the verification of computational devices, enriching propositional logics by operators predicating on the step-…