Institut de mathematiques, Universite de Mons-Hainaut, Belgium;
Lab. Specification Verification, ENS Cachan - CNRS UMR 8643, France;
LIAFA, Univ. Paris 7 - CNRS UMR 7089, France;
Lab. Specification Verification, ENS Cachan - CNRS UMR 8643, France;
机译:基于ATL ATL预后指数的未经治疗的侵袭性成人T细胞白血病淋巴瘤(ATL ATL)的风险适应治疗策略的可能性:JCOG JCOG 9801的补充分析
机译:通过策略环境增强ATL
机译:具有策略上下文的ATL:表现力和模型检查
机译:ATL与策略上下文和有界内存
机译:在一年级教室的背景下,纵向检查儿童记忆策略的发展。
机译:睡眠增强了针对特定对象的识别记忆力
机译:aTL具有战略背景和有限的记忆