The Heterogeneous Tool Set (Hets) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Till Mossakowski, Christian Maeder, Klaus Lüttich. The Heterogeneous Tool Set (Hets). In Bernhard Beckert, editor, Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007. Volume 259 of CEUR Workshop Proceedings, CEUR-WS.org, 2007. [doi]

Identified as Till Mossakowski This author has not been identified. Look up 'Christian Maeder' in GoogleThis author has not been identified. Look up 'Klaus Lüttich' in Google

runs on WebDSL