Publications

Found 1 results
Author [ Title(Desc)] Type Year
Filters: First Letter Of Title is D and Author is Miguel Ferreira  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
D
Broda S, Cavadas S, Ferreira M, Moreira N. 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