Accueil > "Model checking" paramétrico de "workflows" científicos |
TAZ-TFM-2012-094 |
González López de Murillas, Eduardo
Fabra Caro, Francisco Javier (dir.)
Universidad de Zaragoza,
EINA,
2012
Informática e Ingeniería de Sistemas department, Lenguajes y Sistemas Informáticos area
Máster Universitario en Ingeniería de Sistemas e Informática
El registro pertenece a las siguientes colecciones:
trabajos-academicos-universidad-zaragoza > centro > escuela-de-ingeniería-y-arquitectura
trabajos-academicos-universidad-zaragoza > trabajos-fin-master