A Taxonomy and Reductions for Common Register Automata Formalisms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Simon Dierl, Falk Howar. A Taxonomy and Reductions for Common Register Automata Formalisms. In Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi 0001, editors, Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Volume 13030 of Lecture Notes in Computer Science, pages 186-218, Springer, 2021. [doi]

This author has not been identified. Look up 'Simon Dierl' in GoogleThis author has not been identified. Look up 'Falk Howar' in Google

runs on WebDSL