TPAL: A Timed-Probabilistic Model for Concurrent Processes.

Antonio Bueno, Valentn Valero Ruiz, Fernando Cuartero

Browse the full APSEC paper archive.