Formula-Dependent Equivalence for Compositional CTL Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Adnan Aziz, Thomas R. Shiple, Vigyan Singhal. Formula-Dependent Equivalence for Compositional CTL Model Checking. In David L. Dill, editor, Computer Aided Verification, 6th International Conference, CAV 94, Stanford, California, USA, June 21-23, 1994, Proceedings. Volume 818 of Lecture Notes in Computer Science, pages 324-337, Springer, 1994.

This author has not been identified. Look up 'Adnan Aziz' in GoogleThis author has not been identified. Look up 'Thomas R. Shiple' in GoogleThis author has not been identified. Look up 'Vigyan Singhal' in Google

runs on WebDSL