Decidability of parameterized verification

CiNii Available at 1 libraries

Bibliographic Information

Title
"Decidability of parameterized verification"
Statement of Responsibility
Roderick Bloem ... [et al.]
Publisher
  • Springer
Publication Year
  • c2022
Book size
24 cm
Series Name / No
  • : pbk

Search this Book/Journal

Notes

Reprint. Originally published: Morgan & Claypool, c2015

Includes bibliographical references (p. 145-155)

Related Books

See more

Details 詳細情報について

  • CRID
    1130578038684951040
  • NII Book ID
    BD02615646
  • ISBN
    9783031008832
  • Text Lang
    en
  • Country Code
    sz
  • Title Language Code
    en
  • Place of Publication
    • [Switzerland]
  • Classification
  • Data Source
    • CiNii Books
Back to top