-
3241Article of journalPublished in 2008Repositorio RIUCaC - Repositorio U. CatólicaGet full text
Get full text
-
3242
-
3243Published in 2008Repositorio RIDUM - Repositorio Institucional Universidad de ManizalesGet full text
-
3244
-
3245
-
3246Trabajo de grado de pregradoPublished in 2019Repositorio Repositorio Universidad de SantanderGet full text
-
3247
-
3248
-
3249Trabajo de grado de pregradoPublished in 2021Repositorio Repositorio Institucional - RIBUCGet full text
-
3250Trabajo de grado de pregradoPublished in 2021Repositorio Repositorio Institucional - RIBUCGet full text
-
3251
-
3252Trabajo de grado de pregradoPublished in 2023Repositorio Vitela“... to contribute to the verification of probabilistic Event-B models, in this work a rewriting logic semantics...”
Get full text
-
3253
-
3254
-
3255
-
3256
-
3257BookPor Duarte, Oscar; Sarmiento, Carolina; Barrera, Marla; Márquez, Cristian; Culma, Joé Eduin; Ramirez, John JairoPublished in 2022Repositorio Universidad Nacional de ColombiaGet full text
Get full text
-
3258
-
3259
-
3260Trabajo de grado de pregradoPublished in 2025Repositorio RIUD: repositorio U. DistritalGet full text
