Unfoldings : a partial-order approach to model checking

Author(s)

• Esparza, Javier
• Heljanko, Keijo

Bibliographic Information

Unfoldings : a partial-order approach to model checking

Javier Esparza, Keijo Heljanko

（Monographs in theoretical computer science : an EATCS series）

Springer, c2008

• hbk.
• pbk.

Note

Includes bibliographical references and index

Details

• NCID: BA85698547
• ISBN:
  • 9783540774259
  • 9783642096051
• LCCN: 2008921563
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xii, 169 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA25559724