Cover Image

Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Authors: International SPIN Workshop Vienna, Austria, SpringerLink (Online service)
Other Authors: Valmari, Antti
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, 2006.
Series:Lecture notes in computer science. 3925.
Subjects:
SPIN (Computer file) > Congresses.
SPIN (Logiciel) > Congrès.
Computer software > Verification > Congresses.
Logiciels > Vérification > Congrès.
Electronic books.
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 2006eb
 
Call Number Status Get It
QA76.76.V47 I58 2006eb Available