Rigorous examination of reactive systems - The RERS challenges 2012 and 2013 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu. Rigorous examination of reactive systems - The RERS challenges 2012 and 2013. STTT, 16(5):457-464, 2014. [doi]

This author has not been identified. Look up 'Falk Howar' in GoogleThis author has not been identified. It may be one of the following persons:

Malte Isberner

Look up 'Malte Isberner' in GoogleThis author has not been identified. Look up 'Maik Merten' in GoogleThis author has not been identified. It may be one of the following persons:

Bernhard Steffen

Look up 'Bernhard Steffen' in GoogleThis author has not been identified. Look up 'Dirk Beyer' in GoogleThis author has not been identified. Look up 'Corina S. Pasareanu' in Google

runs on WebDSL