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.

Automating comprehensive safety analysis of concurrent programs using verisoft and TXL

Jürgen Dingel, Hongzhi Liang. Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. In Richard N. Taylor, Matthew B. Dwyer, editors, Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004. pages 13-22, ACM, 2004. [doi]

Authors

Jürgen Dingel

This author has not been identified. Look up 'Jürgen Dingel' in Google

Hongzhi Liang

This author has not been identified. Look up 'Hongzhi Liang' in Google
runs on