Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems, Volume 2 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe, Sebastian Stüber, Lucas Wollenhaupt. Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems, Volume 2. Volume 58 of Aachener Informatik-Berichte, Software Engineering, Shaker, 2025. [doi]

This author has not been identified. Look up 'Hendrik Kausch' in GoogleThis author has not been identified. Look up 'Mathias Pfeiffer' in GoogleThis author has not been identified. Look up 'Deni Raco' 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 'Lucas Wollenhaupt' in Google

runs on WebDSL