TACAS '96 (1996 Passau, Germany)

• Tools and algorithms for the construction and analysis of systems