School of Computing

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

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014