Tuya, J., Sánchez, L., & Corrales, J. A. (1995). Using a symbolic model checker for verify safety properties in SA/RT models (W. Schäfer & P. Botella, Eds.). Berlin, Heidelberg: Springer Berlin Heidelberg.
Solo usamos cookies propias necesarias para el funcionamiento del sitio. Si las acepta, usaremos también cookies de Google Analytics para medir las visitas y cargaremos el widget de LinkedIn de la portada. Puede cambiar su elección en cualquier momento desde «Configurar cookies», al pie de la página.
