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.

PBMC: Symbolic Slicing for the Verification of Concurrent Programs

Habib Saissi, Péter Bokor, Neeraj Suri. PBMC: Symbolic Slicing for the Verification of Concurrent Programs. In Bernd Finkbeiner, Geguang Pu, Lijun Zhang, editors, Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Volume 9364 of Lecture Notes in Computer Science, pages 344-360, Springer, 2015. [doi]

Authors

Habib Saissi

This author has not been identified. Look up 'Habib Saissi' in Google

Péter Bokor

This author has not been identified. Look up 'Péter Bokor' in Google

Neeraj Suri

This author has not been identified. Look up 'Neeraj Suri' in Google
runs on