16 citations · 46 across the 17 of their papers we have counts for
1 paper · 1 filter
Paolo Baldan, Barbara König, Tommaso Padoan
Systems of fixpoint equations over complete lattices, consisting of (mixed) least and greatest fixpoint equations, allow one to express a number of verification tasks such as model…