9 citations · 16 across the 7 of their papers we have counts for
1 paper · 1 filter
Alessandro Ferrante, Aniello Murano, Mimmo Parente
The model checking problem for open systems has been intensively studied in the literature, for both finite-state (module checking) and infinite-state (pushdown module checking) sy…