Biblioteca da Universidade do Minho catalog › Results of search for 'an:262872'

		No cover image available Integration of time in a quantum process algebra [Documento eletrónico] / Vítor Emanuel Gonçalves Fernandes ; orient. Luís Barbosa e Renato Neves Produtos Computador Publication [Braga : s.n.], 2019 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 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)

Biblioteca da Universidade do Minho