Rosa Maria Ferreira Batista
AuthID: R-000-PHK
21
TITLE: An integrated formal methods tool-chain and its application to verifying a file system model
AUTHORS: Ferreira, MA; Oliveira, JN ;
PUBLISHED: 2009, SOURCE: 12th Brazilian Symposium on Formal Methods, SBMF 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5902 LNCS
AUTHORS: Ferreira, MA; Oliveira, JN ;
PUBLISHED: 2009, SOURCE: 12th Brazilian Symposium on Formal Methods, SBMF 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5902 LNCS
22
TITLE: Synthesis and optical properties of novel, thermally stable phenanthrolines bearing an arylthienyl-imidazo conjugation pathway Full Text
AUTHORS: BATISTA, R; COSTA, S; BELSLEY, M; RAPOSO, M;
PUBLISHED: 2009, SOURCE: Dyes and Pigments, VOLUME: 80, ISSUE: 3
AUTHORS: BATISTA, R; COSTA, S; BELSLEY, M; RAPOSO, M;
PUBLISHED: 2009, SOURCE: Dyes and Pigments, VOLUME: 80, ISSUE: 3