Refine your Search
Author
Subject
Year
Document Type
221-222 from 222 results
(0.015 seconds)
-
Title: Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPINLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Distributed Systems / Model checking / Simulation / Verification
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723