logo biblio digital exactas
logo twitter logo instagram logo whatsapp logo mail

Navegar

Colección

Datos Estadísticas

Lista de

Finite automata
3
"Normal numbers and finite automata" (2013) Becher, V.; Heiber, P.A. Theoretical Computer Science. 477:109-116
"A finite state intersection approach to propositional satisfiability" (2012) Castaño, J.M.; Castaño, R. Theoretical Computer Science. 450:92-108
"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