Publications
Found 1 results
Author Title Type [ Year
] Filters: Author is Miguel Ferreira and First Letter Of Title is D [Clear All Filters]
Deciding Synchronous Kleene Algebra with Derivatives. In: Drewes F, editor. Implementation and Application of Automata, 20th International Conference (CIAA 2015). Vol 9223.; 2015. 4. p. 49-62p. (LNCS; vol 9223).Edit