Model checking software：11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings

Corporate Authors: International SPIN Workshop (11th 2004 Barcelona, Spain
Group Author: Graf Susanne; Mounier Laurent
Published: Springer,
Publication Dates: c2004.
Call Number: TP311.5-532/I617-1/2004