Towards an Isabelle Theory for distributed, interactive systems: The untimed case - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe, Sebastian Stüber, Marc Wiartalla. Towards an Isabelle Theory for distributed, interactive systems: The untimed case. Volume 45 of Aachener Informatik-Berichte, Software Engineering, Shaker, 2020. [doi]

This author has not been identified. Look up 'Jens Christoph Bürger' in GoogleThis author has not been identified. Look up 'Hendrik Kausch' in GoogleThis author has not been identified. Look up 'Deni Raco' in GoogleThis author has not been identified. Look up 'Jan Oliver Ringert' in GoogleThis author has not been identified. It may be one of the following persons:

Bernhard Rumpe

Look up 'Bernhard Rumpe' in GoogleThis author has not been identified. Look up 'Sebastian Stüber' in GoogleThis author has not been identified. Look up 'Marc Wiartalla' in Google

runs on WebDSL