Cambiar navegación
es
|
en
|
pt
|
fr
Presentación
Países
Instituciones
Participa
Cambiar navegación
JavaScript is disabled for your browser. Some features of this site may not work without it.
Ver ítem
Inicio
Brasil
Universidades
Universidade Federal do Rio Grande do Norte (Brasil)
Ver ítem
Inicio
Brasil
Universidades
Universidade Federal do Rio Grande do Norte (Brasil)
Ver ítem
article
A Symbolic model for timed concurrent constraint programming
Fecha
2015
Registro en:
ARIAS, Jaime; GUZMÁN, Michell; OLARTE, Carlos. A Symbolic Model for Timed Concurrent Constraint Programming. Electronic Notes In Theoretical Computer Science, [S.L.], v. 312, p. 161-177, abr. 2015. Disponível em: https://www.sciencedirect.com/science/article/pii/S1571066115000146?via%3Dihub. Acesso em: 29 jul. 2020. http://dx.doi.org/10.1016/j.entcs.2015.04.010
1571-0661
https://repositorio.ufrn.br/jspui/handle/123456789/29761
10.1016/j.entcs.2015.04.010
http://repositorioslatinoamericanos.uchile.cl/handle/2250/3972501
Autor
Arias, Jaime
Guzman, Michell
Vega, Carlos Alberto Olarte
Institución
Universidade Federal do Rio Grande do Norte (Brasil)
Materias
Concurrent constraint programming
Temporal logic
Model checking
Mostrar el registro completo del ítem
EXPLORAR POR
Instituciones
Fecha
2011 - 2020
2001 - 2010
1951 - 2000
1901 - 1950
1800 - 1900
Explorar en Red de Repositorios
Países >
Tipo de documento >
Fecha de publicación >
Instituciones >