@article{GonzálezLópezdeMurillas:7869,
author = "González López de Murillas, Eduardo and Fabra Caro,
Francisco Javier",
title = "{"Model checking" paramétrico de "workflows"
científicos}",
year = "2012",
}