External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

N-PAT: A Nested Model-Checker - (System Description)

Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy. N-PAT: A Nested Model-Checker - (System Description). In Nicolas Peltier, Viorica Sofronie-Stokkermans, editors, Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II. Volume 12167 of Lecture Notes in Computer Science, pages 369-377, Springer, 2020. [doi]

Authors

Hadrien Bride

This author has not been identified. Look up 'Hadrien Bride' in Google

Cheng-Hao Cai

This author has not been identified. Look up 'Cheng-Hao Cai' in Google

Jin Song Dong

This author has not been identified. Look up 'Jin Song Dong' in Google

Rajeev Goré

This author has not been identified. Look up 'Rajeev Goré' in Google

Zhé Hóu

This author has not been identified. Look up 'Zhé Hóu' in Google

Brendan P. Mahony

This author has not been identified. Look up 'Brendan P. Mahony' in Google

Jim McCarthy

This author has not been identified. Look up 'Jim McCarthy' in Google
runs on