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.

A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols

Amer Tahat, Ali Ebnenasir. A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols. In Maurizio Proietti, Hirohisa Seki, editors, Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Volume 8981 of Lecture Notes in Computer Science, pages 201-218, Springer, 2014. [doi]

Authors

Amer Tahat

This author has not been identified. Look up 'Amer Tahat' in Google

Ali Ebnenasir

This author has not been identified. Look up 'Ali Ebnenasir' in Google
runs on