Jump to Navigation

Abstract satisfiability of linear temporal logic

TitleAbstract satisfiability of linear temporal logic
Publication TypeConference Paper
Year of Publication2001
AuthorsGallardo, M-del-M., P. Merino, and E. Pimentel
Conference NameFernando Orejas; Fernando Cuartero y Diego Cazorla (Eds.). Primeras Jornadas sobre Programación y Lenguajes (PROLE 2001), Almagro, 23 y 24 de Noviembre
Date Publishedoct
PublisherUniversidad de Castilla-La Mancha


Main menu 2

Biblio | by Dr. Radut