A proof-based approach to verifying reachability properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Amel Mammar, Marc Frappier, Fama Diagne. A proof-based approach to verifying reachability properties. In William C. Chu, W. Eric Wong, Mathew J. Palakal, Chih-Cheng Hung, editors, Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011. pages 1651-1657, ACM, 2011. [doi]

This author has not been identified. Look up 'Amel Mammar' in GoogleThis author has not been identified. Look up 'Marc Frappier' in GoogleThis author has not been identified. Look up 'Fama Diagne' in Google

runs on WebDSL