Belda Romany, Adrián(Universitat Politècnica de València, 2016-01-08)
[ES] Este trabajo se enmarca dentro de un proyecto que tiene como objetivo el análisis y
verificación de propiedades de sistemas concurrentes. De forma más precisa, en este
TFG se desarrolla el módulo de la aplicación ...