Biblioteca da Universidade do Minho

Your cart is empty.
International SPIN Workshop [on] Model Checking Software,, 9, Model checking software : proceedings / 9th International SPIN Workshop... ; ed. Dragan Bosnacki, Stefan Leue

Model checking software : proceedings / 9th International SPIN Workshop... ; ed. Dragan Bosnacki, Stefan Leue . - Berlin : Springer, cop. 2002 . - X, 257 p. 24 cm . - (Lecture notes in computer science; 2318)
3-540-43477-1 Brochado

681.3.06