Esparza , Javier

Unfoldings : a partial - order approach to model checking / Javier Esparza, Keijo Heljanko -- Verlag Berlin Heidelberg : Springer, 2008

171 p.; 24 cm

ISBN:  9783540774259

1. Computer Software -Testing  2. Computer system -Verification 

I. Heljanko, Keijo 

005.369 ESP