Germany) Tacas 9 (1996 Passau

• Tools and Algorithms for the Construction and Analysis of Systems