External Links

Cite Key

Statistics

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

PDF

Tags

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.

Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures

Ahmed Bouajjani, Séverine Fratani, Shaz Qadeer. Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures. In Werner Damm, Holger Hermanns, editors, Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings. Volume 4590 of Lecture Notes in Computer Science, pages 207-220, Springer, 2007. [doi]

Authors

Ahmed Bouajjani

This author has not been identified. Look up 'Ahmed Bouajjani' in Google

Séverine Fratani

This author has not been identified. Look up 'Séverine Fratani' in Google

Shaz Qadeer

This author has not been identified. It may be one of the following persons: Look up 'Shaz Qadeer' in Google
runs on