Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/sefm/PangPE04
AU - Pang, Jun
AU - Pol, Jaco van de
AU - Espada, Miguel Valero
TI - Abstraction of Parallel Uniform Processes with Data.
BT - 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China
SP - 14
EP - 23
PY - 2004//
DO - 10.1109/SEFM.2004.4
UR - https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.4
ER -
