Coverart for item
The Resource Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings, Dragan Bošnački, Stefan Edelkamp (eds.), (electronic resource)

Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings, Dragan Bošnački, Stefan Edelkamp (eds.), (electronic resource)

Label
Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings
Title
Model checking software
Title remainder
14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings
Statement of responsibility
Dragan Bošnački, Stefan Edelkamp (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
DLC
Dewey number
005.1/4
LC call number
QA76.76.V47
LC item number
I58 2007
http://bibfra.me/vocab/lite/meetingDate
2007
http://bibfra.me/vocab/lite/meetingName
International SPIN Workshop
http://library.link/vocab/relatedWorkOrContributorDate
  • 1963-
  • 2007
http://library.link/vocab/relatedWorkOrContributorName
  • Bošnački, Dragan
  • Edelkamp, Stefan
  • CAV (Conference)
Series statement
Lecture notes in computer science
Series volume
4595
http://library.link/vocab/subjectName
  • Computer software
  • Computer simulation
Label
Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings, Dragan Bošnački, Stefan Edelkamp (eds.), (electronic resource)
Instantiates
Publication
Note
"Collocated with CAV 2007, the 19th Computer-Aided Verification Conference"-- Pref
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000318968
Dimensions
unknown
Isbn
9783540733690
Isbn Type
(softcover : alk. paper)
Lccn
2007929430
Specific material designation
remote
System control number
(WaSeSS)bookssj0000318968
Label
Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings, Dragan Bošnački, Stefan Edelkamp (eds.), (electronic resource)
Publication
Note
"Collocated with CAV 2007, the 19th Computer-Aided Verification Conference"-- Pref
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000318968
Dimensions
unknown
Isbn
9783540733690
Isbn Type
(softcover : alk. paper)
Lccn
2007929430
Specific material designation
remote
System control number
(WaSeSS)bookssj0000318968

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 ...