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.

ddNF: An Efficient Data Structure for Header Spaces

Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese. ddNF: An Efficient Data Structure for Header Spaces. In Roderick Bloem, Eli Arbel, editors, Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. Volume 10028 of Lecture Notes in Computer Science, pages 49-64, 2016. [doi]

Authors

Nikolaj Bjørner

This author has not been identified. Look up 'Nikolaj Bjørner' in Google

Garvit Juniwal

This author has not been identified. Look up 'Garvit Juniwal' in Google

Ratul Mahajan

This author has not been identified. Look up 'Ratul Mahajan' in Google

Sanjit A. Seshia

This author has not been identified. Look up 'Sanjit A. Seshia' in Google

George Varghese

This author has not been identified. Look up 'George Varghese' in Google
runs on