Formal Specification of ODP Systems using language Mondel (in Portuguese)

M.R. Salvador, W.L. de Souza

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

Original language	Undefined
Title of host publication	16? Proceedings of Simposio Brasileiro de Redes de Computadores
Place of Publication	Rio de Janeiro, Brazil
Publisher	University of Twente
Pages	278-297
Publication status	Published - 20 Feb 1998

Keywords

@inproceedings{a785bdac2cac4e7ba523a1c46afad96a,

title = "Formal Specification of ODP Systems using language Mondel (in Portuguese)",

keywords = "METIS-119176",

author = "M.R. Salvador and {de Souza}, W.L.",

year = "1998",

month = feb,

day = "20",

language = "Undefined",

pages = "278--297",

booktitle = "16? Proceedings of Simposio Brasileiro de Redes de Computadores",

publisher = "University of Twente",

address = "Netherlands",

}