Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice...

por TACAS 2002 (2002 : Grenoble, France), Katoen, Joost-Pieter, Stevens, Perdita