Mostrando
1 - 2
Resultados de
2
Saltar al contenido
BDU
3
Inicio
Iniciar nueva Búsqueda Básica
|
Iniciar nueva Búsqueda Avanzada
Versión -
Rooted branching bisimulation as a congruence for probabilistic transition systems
Mostrando
1 - 2
Resultados de
2
, tiempo de consulta: 0.06s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Rooted branching bisimulation as a congruence for probabilistic transition systems
por
Lee, Matías David
,
de Vink, Erik P.
Publicado 2022
Aportado por:
Repositorio Digital Universitario (UNC)
Enlace del recurso
conferenceObject
2
Rooted branching bisimulation as a congruence for probabilistic transition systems
por
Lee, Matías David
,
De Vink, Erik P.
Publicado 2022
Aportado por:
Repositorio Digital Universitario (UNC)
Enlace del recurso
conferenceObject
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Atrás
Refine su búsqueda
Institución
Universidad Nacional de Córdoba
2
Colecciones
Repositorio Digital Universitario (UNC)
2
Formato
Objeto de conferencia
2
Autor
Lee, Matías David
2
De Vink, Erik P.
1
de Vink, Erik P.
1
Lenguaje
Inglés
2
Año de Publicación
De:
a:
Cargando...