Compasiron of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm

• Autores: Kazuhiro Ogata, Kokichi Futatsugi
• Localización: IEICE transactions on fundamentals of electronics, communications and computer, ISSN 0916-8508, Vol. 90, Nº 8, 2007, págs. 1690-1703
• Idioma: inglés
• Texto completo no disponible (Saber más ...)