|
|||||
|
|
LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches |
|
| Authors: | DE GUZMAN INMACULADA PEREZ; ROSSI CARLOS |
| Institution: | Grupo de Investigación GIMAC, Departamiento de Matemática Aplicada, Facultad de Informáticaca, Universidad de M{acute}laga Plaza El Ejido s/n, 29013 M{acute}laga, Spain. E-mail: guzman.rossi{at}tecma1.ctima.uma.es |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |