Logical foundations and implementation of an extension of temporal logic
Artículo
Acceso abierto
Artículo
SEDICI UNLP
The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas. This fact has made evident the need of t...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access