TACAS '2000 (6th 2000 Berlin, Germany)

Tools and algorithms for the construction and analysis of systems