Deciding Synchronous Kleene Algebra with Derivatives - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sabine Broda, Sílvia Cavadas, Miguel Ferreira, Nelma Moreira. Deciding Synchronous Kleene Algebra with Derivatives. In Frank Drewes, editor, Implementation and Application of Automata - 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings. Volume 9223 of Lecture Notes in Computer Science, pages 49-62, Springer, 2015. [doi]

This author has not been identified. Look up 'Sabine Broda' in GoogleThis author has not been identified. Look up 'Sílvia Cavadas' in GoogleThis author has not been identified. Look up 'Miguel Ferreira' in GoogleThis author has not been identified. Look up 'Nelma Moreira' in Google

runs on WebDSL