Automatic Reduction in CTL Compositional Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton. Automatic Reduction in CTL Compositional Model Checking. 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 234-247, Springer, 1992.

This author has not been identified. Look up 'Thomas R. Shiple' in GoogleThis author has not been identified. Look up 'Massimiliano Chiodo' in GoogleThis author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in GoogleThis author has not been identified. Look up 'Robert K. Brayton' in Google

runs on WebDSL