id: 01599488
dt: b
an: 01599488
au: Dwyer, Matthew (ed.)
ti: Model checking software. 8th international SPIN workshop, Toronto, Canada,
    May 19‒20, 2001. Proceedings.
so: Lecture Notes in Computer Science. 2057. Berlin: Springer. x, 313 p. DM
    86.00; \sterling 29.50; \$ 56.00 (2001).
py: 2001
pu: Berlin: Springer
la: EN
cc: 
ut: Toronto (Canada); Proceedings; Workshop; SPIN workshop; Model checking
    software
ci: Zbl 0947.00033
li: doi:10.1007/3-540-45139-0
ab: The articles of mathematical interest will be reviewed individually. The
    preceding workshop (7th, 2000) has been reviewed (see Zbl 0947.00033).
rv: