I. Avau

According to our database, I. Avau authored at least 1 paper in 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

1994

Efficient Computation of Nested Fix-Points, with Applications to Model Checking.

Bart Vergauwen, Johan Lewi, I. Avau, A. Poté

Proceedings of the Temporal Logic, First International Conference, 1994