1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Jeroen J. A. Keiren, Rance Cleaveland
This paper revisits soundness and completeness of proof systems for proving that sets of states in infinite-state labeled transition systems satisfy formulas in the modal mu-calcul…