DBLP Record 'conf/mascots/FariasPSM01'

BibTeX

@inproceedings{DBLP:conf/mascots/FariasPSM01,
  author    = {Cl{\'e}ver Ricardo Guareis de Farias and
               Lu\'{\i}s Ferreira Pires and
               Wanderley Lopes de Souza and
               C{\'e}lio Estevan Mor{\'o}n},
  title     = {Specification and Validation of a Real-Time Parallel Kernel
               Using LOTOS},
  booktitle = {MASCOTS},
  year      = {2001},
  pages     = {7-14},
  ee        = {http://csdl.computer.org/comp/proceedings/mascots/2001/1315/00/13150007abs.htm},
  crossref  = {DBLP:conf/mascots/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/mascots/2001,
  title     = {9th International Workshop on Modeling, Analysis, and Simulation
               of Computer and Telecommunication Systems (MASCOTS 2001),
               15-18 August 2001, Cincinnati, OH, USA},
  booktitle = {MASCOTS},
  publisher = {IEEE Computer Society},
  year      = {2001},
  isbn      = {0-7695-1315-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}