Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción Tableau para su aplicación en comprobación de modelos On-The-Fly/
Metadatos
Mostrar el registro completo del ítemEditorial
Granada: Universidad de Granada
Director
Capel Tuñón, Manuel IsidoroDepartamento
Universidad de Granada. Departamento de Lenguajes y Sistemas InformáticosMateria
Concurrencia (Ciencias de la Computación) Sistemas de ordenadores a tiempo real
Materia UDC
681.3 1203.11 3304.17 3304.11 1102.04 1102.09