DaftarIsitemplate

Call Number

Title

SMC: A Symmetry-Based Model Checker for Verification of Safety and Liveness Properties, page 133-166

Author

Publisher

New York: The Association for Computing Machinery

Subject

Location