Abstract Satisfiability of Linear Temporal Logic

• Autores: María del Mar Gallardo Melgarejo, Pedro A. Merino Calvo, Ernesto Pimentel Sánchez
• Localización: Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 / Fernando Orejas Valdés (ed. lit.), Fernando Cuartero Gómez (ed. lit.), Diego Cazorla López (ed. lit.), 2001, págs. 163-178
• Idioma: inglés
• Texto completo no disponible (Saber más ...)