Projetos de sistemas atraves de refinamentos successivos utilizando a TDF LOTOS

W.L. de Souza, L.F. Pires

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Simpioso Brasileiro de redes de computadores 1991
Place of Publication	Anais
Pages	295-312
Number of pages	18
Publication status	Published - 1 Sept 1991

Keywords

@inproceedings{5e6372846bc1411bbb3b31ab1555f9e7,

title = "Projetos de sistemas atraves de refinamentos successivos utilizando a TDF LOTOS",

keywords = "METIS-119490",

author = "{de Souza}, W.L. and L.F. Pires",

year = "1991",

month = sep,

day = "1",

language = "Undefined",

pages = "295--312",

booktitle = "Simpioso Brasileiro de redes de computadores 1991",

}