@incollection{pvr01,
   author    = {Fernando L. Pelayo and M. Carmen Ruiz and Diego Cazorla},
   title     = {PEPA workbench: Una herramienta para evaluación de prestaciones basada en Álgebras de Procesos},
   booktitle = {Sistemas Distribuidos: Modelos y Aplicaciones},
   address   = {Albacete(Spain)},
   pages     = {171--186},
   year      = {2001},
   month     = {July}
}