152
click to vote
FROCOS
2007
Springer
16 years 17 hour ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...