© University of Kent - Contact | Feedback | Legal | FOI | Cookies
T'ecnicas de Compilacc ao para Sistemas Distribu'idos
Geraldina Paula Alves Fernandes
Dissertacc ao para Mestrado em Inform'atica ('area de Ci^encias da Computacc ao), Escola de Engenharia, Universidade do Minho, Braga, Portugal, October 1993 in portuguese.Bibtex Record
@mastersthesis{336,
author = {Geraldina Paula Alves Fernandes},
title = {{T'ecnicas de Compilac{c}~ao para Sistemas Distribu'idos}},
month = {October},
year = {1993},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {in portuguese},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1993/336},
address = {Braga, Portugal},
school = {Escola de Engenharia, Universidade do Minho},
type = {Dissertacc ao para Mestrado em Inform'atica ('area de Ci^encias da Computacc ao)},
}