TACAS '2000 (6th 2000 Berlin, Germany)

• Tools and algorithms for the construction and analysis of systems