The SPIN model checker : primer and reference manual

Web Site CiNii Available at 26 libraries

Bibliographic Information

Title
"The SPIN model checker : primer and reference manual"
Statement of Responsibility
Gerard J. Holzmann
Publisher
  • Addison-Wesley
Publication Year
  • 2004
Book size
25 cm

Search this Book/Journal

Notes

Includes index

DC22:620/.001/171

Details 詳細情報について

Back to top