Unfoldings
Subtitle: a partial-order approach to model checking
By: Javier Esparza, Keijo Heljanko.
Contributors: Heljanko, Keijo.
Series: Monographs in theoretical computer science: an EATCS series; Monographs in theoretical computer science
Publisher: Springer
Published: 2008
Place of publication: Berlin
Language: eng
Number of pages: 169
ISBN-13: 9783540774259
Subjects: Computer software -- Testing; Computer systems -- Verification
Notes: Includes bibliographical references (p. [157]-164) and index.