© 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)}, }