Comparing the QoS of the Internet Audio Mechanisms via Formal Methods

• Autores: A. Aldini, R. Gorrieri, M. Roccetti
• Localización: ACM transactions on modeling and computer simulation, ISSN 1049-3301, Vol. 11, Nº 1, 2001, págs. 1-42
• Idioma: inglés
• DOI: 10.1145/379525.379526
• Texto completo no disponible (Saber más ...)