Verifying Trace Equivalence of a Shared-Memory-Style Communication System

• Autores: Yoshinobu Kawabe, Ken Mano
• Localización: IEICE transactions on fundamentals of electronics, communications and computer, ISSN 0916-8508, Vol. 88, Nº 4, 2005, págs. 915-922
• Idioma: inglés
• Texto completo no disponible (Saber más ...)