6 citations · 15 across the 12 of their papers we have counts for
1 paper · 1 filter
Carlo A. Furia, Paola Spoletini
Previous work has shown that reasoning with real-time temporal logics is often simpler when restricted to models with bounded variability---where no more than v events may occur ev…