TACAS 2004 (2004 Barselona, Spain)

• Tools and algorithms for the construction and analysis of systems