Computer-Aided Analysis and Validation of Heterogeneous System Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Giuseppe Del Castillo, Uwe Glässer. Computer-Aided Analysis and Validation of Heterogeneous System Specifications. In Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek, editors, Computer Aided Systems Theory - EUROCAST 99, Vienna, Austria, September 29 - October 2, 1999, Proceedings. Volume 1798 of Lecture Notes in Computer Science, pages 55-79, Springer, 1999.

This author has not been identified. Look up 'Giuseppe Del Castillo' in GoogleThis author has not been identified. Look up 'Uwe Glässer' in Google

runs on WebDSL