Model checking software : proceedings / 9th International SPIN Workshop...; ed. Dragan Bosnacki, Stefan Leue
Corporate Author (Main)
International SPIN Workshop [on] Model Checking Software, 9, Grenoble, 2002
Secondary Author
Bosnacki, Dragan
Leue, Stefan
Country
Alemanha.
Publication
Berlin : Springer, cop. 2002
Description
X, 257 p. ;
24 cm
Series
Lecture notes in computer science , 2318
ISBN
3-540-43477-1
CDU
681.3.06
There are no comments for this item.