Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt. Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. In Luís Soares Barbosa, Alexandru Baltag, editors, Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Volume 12005 of Lecture Notes in Computer Science, pages 19-34, Springer, 2019. [doi]

This author has not been identified. Look up 'Rolf Hennicker' in GoogleThis author has not been identified. Look up 'Alexander Knapp' in GoogleThis author has not been identified. Look up 'Alexandre Madeira' in GoogleThis author has not been identified. Look up 'Felix Mindt' in Google

runs on WebDSL