2 search results - page 1 / 1 » Heuristic Search in Infinite State Spaces Guided by Lyapunov... |
IJCAI
2001
13 years 6 months ago
2001
MICAI
2000
Springer
13 years 8 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...