6 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
The modal mu-calculus mu-L is a well-known fixpoint logic to express and model check properties interpreted over labeled transition systems. In this paper, we propose two variants…