Verification of tree-based hierarchical read-copy update in the Linux kernel - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lihao Liang, Paul E. McKenney, Daniel Kroening, Tom Melham. Verification of tree-based hierarchical read-copy update in the Linux kernel. In 2018 Design, Automation & Test in Europe Conference & Exhibition, DATE 2018, Dresden, Germany, March 19-23, 2018. pages 61-66, IEEE, 2018. [doi]

This author has not been identified. Look up 'Lihao Liang' in GoogleThis author has not been identified. Look up 'Paul E. McKenney' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in GoogleThis author has not been identified. Look up 'Tom Melham' in Google

runs on WebDSL