Browsing by Author "Arias Almeida, Jaime Eduardo"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item Model checking for TCC calculus(Pontificia Universidad Javeriana de Cali, 2012) Arias Almeida, Jaime EduardoItem Structured and interactive improvisation scenarios(Pontificia Universidad Javeriana Cali, 2021) Carrero Rivas, María Paula; Arias Almeida, Jaime Eduardo; Rueda, Camilo