Automatic Translation of a Timed Process Algebra into Dynamic State Graphs.

Juan Jos Pardo, Valentn Valero Ruiz, Fernando Cuartero, Diego Cazorla

Browse the full APSEC paper archive.