8 citations · 9 across the 3 of their papers we have counts for
1 paper · 1 filter
Gérard Cécé
Compute the coarsest simulation preorder included in an initial preorder is used to reduce the resources needed to analyze a given transition system. This technique is applied on m…