EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Das, S.R.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2001

Guareis de Farias, C.R. and Ferreira Pires, L. and Lopes de Souza, W. and Moron, C.M. (2001) Specification and Validation of a Real-Time Parallel Kernel Using LOTOS. In: 9th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2001), 15-18 Aug 2001, Cincinatti, Ohio, U.S.A.. pp. 7-14. IEEE Computer Society. ISBN 0-7695-1315-8

This list was generated on Mon Mar 20 00:00:03 CET 2017.