The RT-LOTOS formal specification of the conditional delivery mechanism

• Localización: Information systems, ISSN 0306-4379, Vol. 20, Nº 6, 1995, pág. 521
• Idioma: inglés
• Texto completo no disponible (Saber más ...)