Biblioteca da Universidade do Minho catalog › Results of search for 'an:11987' with limit(s): 'author:Neves,'

		No cover image available Implementação de um gerador automático de grafos de sincronização / Luís M. S. Barbosa, José C. M. Neves Monografia LocationBiblioteca de Reservados Availability Reference (1). 1 2 3 4 5 Add to cart (remove)
		No cover image available Proof support for hybridised logics [Documento electrónico] / Renato Jorge Araújo Neves ; orient. Manuel António Martins, Luís Soares Barbosa Monografia Publication [Braga : s.n.], 2013 Online resource Acesso livre Availability No copies available 1 2 3 4 5 Add to cart (remove)
		No cover image available Hybrid programs [Documento eletrónico] / Renato Jorge Araújo Neves ; orient. Luís Soares Barbosa, Manuel António Martins Monografia Publication [Guimarães : s.n.], 2018 Online resource Acesso livre Availability No copies available 1 2 3 4 5 Add to cart (remove)
		No cover image available Regular expressions for timed automata [Documento eletrónico] / Paulo Ribeiro ; orient. Luís Barbosa, Renato Neves Produtos Computador Publication [Braga : s.n.], 2021 Online resource Acesso livre Availability No copies available 1 2 3 4 5 Add to cart (remove)
		No cover image available On the development of CAMILA / J. J. Almeida... [et al.] Monografia Availability No copies available 1 2 3 4 5 Add to cart (remove)

Biblioteca da Universidade do Minho