Cover Image

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

Show other versions (1)

This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002. The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials,...

Full description

Bibliographic Details
Corporate Authors: International SPIN Workshop Grenoble, France, SpringerLink (Online service)
Other Authors: Bošnački, Dragan, 1963-, Leue, Stefan
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2002]
Series:Lecture notes in computer science ; 2318.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
SPIN (Computer file) > Congresses.
SPIN (Computer file)
Computer software > Verification > Congresses.
Computer software > Verification.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.76.V47 I58 2002
 
Call Number Status Get It
QA76.76.V47 I58 2002 Available