Report - ANEXA 1 - Acad · Web viewPentru a putea verifica asemenea proprietăţi, am definit o logică temporal-probabilistică PTLM pentru pTiMo. În plus am propus un algoritm de verificare

Please pass captcha verification before submit form