Cover Image

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

Bibliographic Details
Corporate Author: International SPIN Workshop Barcelona, Spain
Other Authors: Graf, Susanne, Mounier, Laurent
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2004]
Series:Lecture notes in computer science ; 2989.
Subjects:
SPIN (Computer file) > Congresses.
Computer software > Verification > Congresses.
Online Access:http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2989
Description
Physical Description:x, 307 pages : illustrations ; 24 cm.
Also issued online.
Bibliography:Includes bibliographical references and index.
ISBN:3540213147