News Help Institutional access

Search academic resources

Explore institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.

Advanced search
What NODOVOX Discovery brings together: Institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.
forensic medicine law journals Open Access full text

Results

1 results found.

Resource types: Print book E-book Article Journal Thesis Chapter
Academic search
Symbolic determinisation of extended automata
Text / resource
Text / resource
Symbolic determinisation of extended automata
Jéron, Thierry et al · SEDICI UNLP · 2006
We define a symbolic determinisation procedure for a class of infinite-state systems, which consists of automata extended with symbolic variables that may be infinite-state. The subclass of extended automata for which th...
Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
NODITO
Asistencia de búsqueda académica
Te ayudo a buscar, encontrar y acceder a recursos académicos.
Consultar con NODITO
¿Qué necesitás hacer?
Consultas rápidas
NODITO Asistencia contextual NDX