Cover Image

Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Author: International SPIN Workshop Grenoble, France
Other Authors: Bošnački, Dragan, 1963-, Leue, Stefan
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2002]
Series:Lecture notes in computer science. 2318.
Subjects:
Computer software > Verification > Congresses.
SPIN (Computer file) > Congresses.
Description
Physical Description:x, 257 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540434771 (softcover : alk. paper)
ISSN:0302-9743 ;