Reasoning about Probabilistic and Nondeterministic Processes

• Autores: Diego Cazorla López , Fernando Cuartero Gómez , Valentín Valero Ruiz , Fernando L. Pelayo
• Localización: Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 / Fernando Orejas Valdés (ed. lit.) , Fernando Cuartero Gómez (ed. lit.) , Diego Cazorla López (ed. lit.) , 2001, págs. 325-339
• Idioma: inglés
• Texto completo no disponible (Saber más ...)