Navegar

Colección

Datos Estadísticas

Lista de

Iterative methods
2
"On improving backwards verification of timed automata (extended abstract)" (2002) Braberman, V.; López Pombo, C.; Olivero, A. Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002). 65(6):60-67
"Monotone discrete Newton iterations and elimination" (1995) Milaszewicz, J.P. Computers and Mathematics with Applications. 30(1):79-90