RATSY - A New Requirements Analysis Tool with Synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber. RATSY - A New Requirements Analysis Tool with Synthesis. In Tayssir Touili, Byron Cook, Paul Jackson, editors, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Volume 6174 of Lecture Notes in Computer Science, pages 425-429, Springer, 2010. [doi]

This author has not been identified. Look up 'Roderick Bloem' in GoogleThis author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Karin Greimel' in GoogleThis author has not been identified. Look up 'Georg Hofferek' in GoogleThis author has not been identified. Look up 'Robert Könighofer' in GoogleThis author has not been identified. It may be one of the following persons:

Marco Roveri

Look up 'Marco Roveri' in GoogleThis author has not been identified. Look up 'Viktor Schuppan' in GoogleThis author has not been identified. Look up 'Richard Seeber' in Google

runs on WebDSL