I. Avau

Publication Activity (10 Years)

Years Active: 1994-1994
Publications (10 Years): 0

Publications

Bart Vergauwen, Johan Lewi, I. Avau, A. Poté
Efficient Computation of Nested Fix-Points, with Applications to Model Checking. ICTL (1994)