prod 3.2: An Advanced Tool for Efficient Reachability Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kimmo Varpaaniemi, Keijo Heljanko, Johan Lilius. prod 3.2: An Advanced Tool for Efficient Reachability Analysis. In Orna Grumberg, editor, Computer Aided Verification, 9th International Conference, CAV 97, Haifa, Israel, June 22-25, 1997, Proceedings. Volume 1254 of Lecture Notes in Computer Science, pages 472-475, Springer, 1997.

This author has not been identified. Look up 'Kimmo Varpaaniemi' in GoogleThis author has not been identified. Look up 'Keijo Heljanko' in GoogleThis author has not been identified. Look up 'Johan Lilius' in Google

runs on WebDSL