Buscar
Añadir filtros:
Usa los filtros para afinar la busqueda.
Resultados 1-1 de 1.
- Anterior
- 1
- Siguiente
Resultados por ítem:
Fecha de publicación | Título | Autor(es) | Tipo |
---|---|---|---|
2009 | A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol | Regnier, Paul Denis Etenne; Lima, George Marconi de Araújo; Andrade, Aline Maria Santos | Artigo de Periódico |