1 citations · 1 across the 1 of their papers we have counts for
1 paper
Yongming Li, Manfred Droste, Lihui Lei
In this paper, we study model-checking of linear-time properties in multi-valued systems. Safety property, invariant property, liveness property, persistence and dual-persistence p…