A CSP and Z combined modeling of document exchange processes in e-commerce protocols

• Autores: X. Wang, S. C. Cheung
• Localización: Information and software technology, ISSN 0950-5849, Vol. 44, Nº 14, 2002, págs. 875-889
• Idioma: inglés
• Texto completo no disponible (Saber más ...)