Szerző szerinti böngészés "Balbiani, Philippe"
Megjelenítve 1 - 2 (Összesen 2)
Találat egy oldalon
Rendezési lehetőségek
Tétel Szabadon hozzáférhető Proving the decidability of the PDLtimesPDL product logic(2009) Aszalós, László; Balbiani, PhilippeTétel Szabadon hozzáférhető Some decidability result for logic constructed for checking user authentication protocols(2008) Aszalós, László; Balbiani, Philippe