Transition semantics for branching time

old_uid12154
titleTransition semantics for branching time
start_date2017/03/13
schedule17h30-19h30
onlineno
responsiblesPataut, Poggiolesi