Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/acsd/KatoenPST10
AU - Katoen, Joost-Pieter
AU - Pol, Jaco van de
AU - Stoelinga, Mariëlle
AU - Timmer, Mark
TI - A Linear Process-Algebraic Format for Probabilistic Systems with Data.
BT - 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010
SP - 213
EP - 222
PY - 2010//
DO - 10.1109/ACSD.2010.18
UR - https://doi.org/10.1109/ACSD.2010.18
UR - https://doi.ieeecomputersociety.org/10.1109/ACSD.2010.18
ER -
