Model Checking Using Adaptive State and Data Abstraction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann. Model Checking Using Adaptive State and Data Abstraction. 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 455-467, Springer, 1994.

This author has not been identified. Look up 'Dennis Dams' in GoogleThis author has not been identified. Look up 'Rob Gerth' in GoogleThis author has not been identified. Look up 'Gert Döhmen' in GoogleThis author has not been identified. Look up 'Ronald Herrmann' in GoogleThis author has not been identified. Look up 'Peter Kelb' in GoogleThis author has not been identified. Look up 'Hergen Pargmann' in Google

runs on WebDSL