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.

CSeq: A concurrency pre-processor for sequential C verification tools

Bernd Fischer 0002, Omar Inverso, Gennaro Parlato. CSeq: A concurrency pre-processor for sequential C verification tools. In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013. pages 710-713, IEEE, 2013. [doi]

Authors

Bernd Fischer 0002

This author has not been identified. It may be one of the following persons: Look up 'Bernd Fischer 0002' in Google

Omar Inverso

This author has not been identified. Look up 'Omar Inverso' in Google

Gennaro Parlato

This author has not been identified. Look up 'Gennaro Parlato' in Google
runs on