Coverart for item
The Resource Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006 : proceedings, Antti Valmari (ed.), (electronic book)

Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006 : proceedings, Antti Valmari (ed.), (electronic book)

Label
Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006 : proceedings
Title
Model checking software
Title remainder
13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006 : proceedings
Statement of responsibility
Antti Valmari (ed.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Characteristic
online system or service
Image bit depth
0
http://bibfra.me/vocab/lite/meetingDate
2006
http://bibfra.me/vocab/lite/meetingName
International SPIN Workshop
http://library.link/vocab/relatedWorkOrContributorName
Valmari, Antti.
Series statement
Lecture notes in computer science
Series volume
3925
http://library.link/vocab/subjectName
  • Computer software
  • Logic design
Label
Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006 : proceedings, Antti Valmari (ed.), (electronic book)
Instantiates
Publication
Note
"Co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS 2006)"--Pref
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Color
not applicable
Dimensions
unknown
Extent
x, 305 p.
File format
multiple file formats
Isbn
9783540331032
Issn
0302-9743
Level of compression
uncompressed
Other physical details
ill. (ome col.)
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
Label
Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006 : proceedings, Antti Valmari (ed.), (electronic book)
Publication
Note
"Co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS 2006)"--Pref
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Color
not applicable
Dimensions
unknown
Extent
x, 305 p.
File format
multiple file formats
Isbn
9783540331032
Issn
0302-9743
Level of compression
uncompressed
Other physical details
ill. (ome col.)
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote

Library Locations

Processing Feedback ...