Proof Score Approach to Verification of Liveness Proporties

• Autores: K. Ogata, K. Futatsugi
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 91, Nº 12, 2008, págs. 2804-2817
• Idioma: inglés
• Texto completo no disponible (Saber más ...)