TACAS '99 (1999 Amsterdam, Netherlands)

• Tools and algorithms for the construction and analysis of systems