Coverart for item
The Resource Unfoldings : a partial-order approach to model checking, Javier Esparza, Keijo Heljanko, (electronic resource)

Unfoldings : a partial-order approach to model checking, Javier Esparza, Keijo Heljanko, (electronic resource)

Label
Unfoldings : a partial-order approach to model checking
Title
Unfoldings
Title remainder
a partial-order approach to model checking
Statement of responsibility
Javier Esparza, Keijo Heljanko
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
YDXCP
http://library.link/vocab/creatorName
Esparza, Javier
Dewey number
005.1/4
LC call number
QA76.76.T48
LC item number
E87 2008
http://library.link/vocab/relatedWorkOrContributorName
Heljanko, Keijo
Series statement
Monographs in theoretical computer science: an EATCS series
http://library.link/vocab/subjectName
  • Computer software
  • Computer systems
Label
Unfoldings : a partial-order approach to model checking, Javier Esparza, Keijo Heljanko, (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references (p. [157]-164) and index
Control code
OCM1bookssj0000312375
Dimensions
unknown
Isbn
9783540774259
Lccn
2008921563
Specific material designation
remote
System control number
(WaSeSS)bookssj0000312375
Label
Unfoldings : a partial-order approach to model checking, Javier Esparza, Keijo Heljanko, (electronic resource)
Publication
Bibliography note
Includes bibliographical references (p. [157]-164) and index
Control code
OCM1bookssj0000312375
Dimensions
unknown
Isbn
9783540774259
Lccn
2008921563
Specific material designation
remote
System control number
(WaSeSS)bookssj0000312375

Library Locations

    • Curtis Laws Wilson LibraryBorrow it
      400 West 14th Street, Rolla, MO, 65409, US
      37.955220 -91.772210
Processing Feedback ...