Cléver Ricardo Guareis de Farias, Luís Ferreira Pires, Wanderley Lopes de Souza, Célio Estevan Morón. Specification and Validation of a Real-Time Parallel Kernel Using LOTOS. In 9th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2001), 15-18 August 2001, Cincinnati, OH, USA. pages 7-14, IEEE Computer Society, 2001. [doi]
@inproceedings{FariasPSM01,
title = {Specification and Validation of a Real-Time Parallel Kernel Using LOTOS},
author = {Cléver Ricardo Guareis de Farias and Luís Ferreira Pires and Wanderley Lopes de Souza and Célio Estevan Morón},
year = {2001},
url = {http://csdl.computer.org/comp/proceedings/mascots/2001/1315/00/13150007abs.htm},
researchr = {https://researchr.org/publication/FariasPSM01},
cites = {0},
citedby = {0},
pages = {7-14},
booktitle = {9th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2001), 15-18 August 2001, Cincinnati, OH, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-1315-8},
}