Coverart for item
The Resource Model checking software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings, Jaco van de Pol, Michael Weber (eds.), (electronic resource)

Model checking software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings, Jaco van de Pol, Michael Weber (eds.), (electronic resource)

Label
Model checking software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings
Title
Model checking software
Title remainder
17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings
Statement of responsibility
Jaco van de Pol, Michael Weber (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Cataloging source
DLC
LC call number
QA76.76.V47
LC item number
I58 2010
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
International SPIN Workshop
http://library.link/vocab/relatedWorkOrContributorName
  • Pol, Jaco van de
  • Weber, Michael
Series statement
Lecture notes in computer science,
Series volume
6349
http://library.link/vocab/subjectName
  • Computer software
  • Computer simulation
Summary expansion
This book constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, held at the University of Twente, in Enschede, The Netherlands, in September 2010.The 13 revised full papers presented together with 2 tool papers and 3 invited talks were carefully reviewed and selected from 33 submissions.The papers are organized in topical sections on satisfiability modulotheories for model checking, model checking in context (simulation,testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent software
Label
Model checking software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings, Jaco van de Pol, Michael Weber (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and author index
Control code
OCM1bookssj0000446632
Dimensions
unknown
Isbn
9783642161636
Isbn Type
(acid-free paper)
Lccn
2010935165
Specific material designation
remote
System control number
(WaSeSS)bookssj0000446632
Label
Model checking software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings, Jaco van de Pol, Michael Weber (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and author index
Control code
OCM1bookssj0000446632
Dimensions
unknown
Isbn
9783642161636
Isbn Type
(acid-free paper)
Lccn
2010935165
Specific material designation
remote
System control number
(WaSeSS)bookssj0000446632

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...