Coverage Preserving Reduction Strategies for Reachability Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin. Coverage Preserving Reduction Strategies for Reachability Analysis. In Richard J. Linn Jr., M. Ümit Uyar, editors, Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992. Volume C-8 of IFIP Transactions, pages 349-363, North-Holland, 1992.

This author has not been identified. Look up 'Gerard J. Holzmann' in GoogleThis author has not been identified. Look up 'Patrice Godefroid' in GoogleThis author has not been identified. Look up 'Didier Pirottin' in Google

runs on WebDSL