BibTeX record conf/sbes/PinheiroC90

• > Home > conf/sbes/PinheiroC90

@inproceedings{DBLP:conf/sbes/PinheiroC90,
  author       = {T{\^{a}}nia Saraiva de Melo Pinheiro and
                  Paulo Roberto Freire Cunha},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {Modelo de Refer{\^{e}}ncia para Especifica{\c{c}}{\~{a}}o Formal de
                  Sistemas Operacionais Distribu{\'{\i}}dos},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {14--29},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24163},
  doi          = {10.5753/SBES.1990.24163},
  timestamp    = {Wed, 10 Jan 2024 15:49:57 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/PinheiroC90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}