Juan José Pardo, ValentÃn Valero Ruiz, Fernando Cuartero, Diego Cazorla. Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. In 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China. pages 63-70, IEEE Computer Society, 2001. [doi]
Abstract is missing.