Toggle navigation
Repositorio Institucional
CONICET Digital
Inicio
EXPLORAR
AUTORES
DISCIPLINAS
COMUNIDADES
Estadísticas
Novedades
Noticias
Boletines
Ayuda
General
Datos de investigación
Acerca de
CONICET Digital
Equipo
Red Federal
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
GIRO SERGIO SEBASTIAN
Datos académicos
Lugar de trabajo
UNIVERSIDAD NACIONAL DE CORDOBA / FACULTAD DE MATEMATICA, ASTRONOMIA Y FISICA / SECCION CS.DE LA COMPUTACION
Título
Licenciado en Ciencias de la Computación
Grado
Universitario de grado
Campo de aplicación
Ciencia y cultura-Ciencia y tecnologia
Especialidad
Verificación automática de sistemas
PRODUCCION CIENTÍFICO TECNOLÓGICA
Mostrando ítems 1-1 de 1
Artículo
Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms
Giro, Sergio Sebastian
;
D'argenio, Pedro Ruben
;
Ferrer Fioriti, Luis Maria
(
Elsevier Science
,
2014-06
)
Mostrando ítems 1-1 de 1