Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/apsec/PardoRCC01
AU - Pardo, Juan José
AU - Ruiz, Valentín Valero
AU - Cuartero, Fernando
AU - Cazorla, Diego
TI - Automatic Translation of a Timed Process Algebra into Dynamic State Graphs.
BT - 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China
SP - 63
EP - 70
PY - 2001//
DO - 10.1109/APSEC.2001.991460
UR - https://doi.org/10.1109/APSEC.2001.991460
UR - https://doi.ieeecomputersociety.org/10.1109/APSEC.2001.991460
ER -