TY - JOUR AU - Piech, H. AU - Grodzki, G. TI - Probability timed automata for investigating communication processes JO - International Journal of Applied Mathematics and Computer Science PY - 2015 SP - 403 EP - 414 VL - 25 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IJAMCS_2015_25_2_a16/ LA - en ID - IJAMCS_2015_25_2_a16 ER -