|
|||||
|
|
LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches |
|
| Authors: | DE GUZMAN, INMACULADA PEREZ ROSSI, CARLOS |
| Affiliation: | 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 等数据库收录！ | |