31
TÍTULO: An Algebra for Kripke Polynomial Coalgebras
AUTORES: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2009, FONTE: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA
INDEXADO EM: DBLP CrossRef: 10
32
TÍTULO: Formal Methods for Components and Objects
AUTORES: Frank S de Boer; Marcello M Bonsangue; Eric Madelaine;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef
33
TÍTULO: Coalgebraic Logic and Synthesis of Mealy Machines
AUTORES: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2008, FONTE: Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, VOLUME: 4962
INDEXADO EM: DBLP CrossRef: 7
34
TÍTULO: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
AUTORES: Frank S de Boer; Marcello M Bonsangue; Susanne Graf; Willem P de Roever;
PUBLICAÇÃO: 2008, FONTE: FMCO, VOLUME: 5382
INDEXADO EM: DBLP
35
TÍTULO: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
AUTORES: Frank S de Boer; Marcello M Bonsangue; Susanne Graf; Willem P de Roever;
PUBLICAÇÃO: 2007, FONTE: FMCO, VOLUME: 4709
INDEXADO EM: DBLP
36
TÍTULO: Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures
AUTORES: Frank de d Boer; Marcello M Bonsangue; Susanne Graf; Willem de d Roever;
PUBLICAÇÃO: 2005, FONTE: FMCO, VOLUME: 3657
INDEXADO EM: DBLP
Página 4 de 4. Total de resultados: 36.