|
|
Model checking software : , 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings /
Publication:
Berlin : Springer, 2010
. x, 261 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Checking Software
by Pol, Jaco.
Publication:
. X, 263p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|