P_UPPALa tool for capturing the probabilistic behaviour of UPPAL models
- Cazorla López, Diego
- Valero Ruiz, Valentín
- Cuartero Gómez, Fernando
- Díaz Díaz, Gregorio
- Pérez Francisco, Miguel (coord.)
- Boronat Pérez, Pablo (coord.)
Publisher: Servei de Comunicació i Publicacions ; Universitat Jaume I
ISBN: 84-8021-434-1, 978-84-8021-434-6
Year of publication: 2003
Pages: 207-220
Congress: Jornadas de Concurrencia (11. 2003. null)
Type: Conference paper