TACAS '95 (1995 Århus, Denmark)

• Tools and algorithms for the construction and analysis of systems