2019/06/12, 10:00 to 12:00. Jin-Yi Cai
Archive for the ‘学术报告’ Category
The mCRL2 behavioural specification language and tools, including new developments
2019/05/30, 15:00 to 18:00. Prof. Jan Friso Groote, Technical University Eindhoven
Symbolic semantics for Open Systems and their Bisimulation algorithms
2019/05/21, Dr. Eric Madelaine
The Evolutionary Benefit of Recombination
2015/08/28, Andy Lewis-Pye
不可行路径片段制导的线性混成自动机有界可达性检验及全局性质推导
2015/01/08, 卜磊
