State-Space Caching Revisited - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin. State-Space Caching Revisited. In Gregor von Bochmann, David K. Probst, editors, Computer Aided Verification, Fourth International Workshop, CAV 92, Montreal, Canada, June 29 - July 1, 1992, Proceedings. Volume 663 of Lecture Notes in Computer Science, pages 178-191, Springer, 1992.

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

runs on WebDSL