TitleDeciding Synchronous Kleene Algebra with Derivatives Publication TypeProceedings of international conferences (peer reviewed) AuthorsBroda S, Cavadas S, Ferreira M, Moreira N EditorDrewes F [2015-12]
