文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Jeremy Jacob
发表
Automatic Translation of tock-CSP into Timed Automata
pdf
Ana Cavalcanti, Abdulrazaq Abba, Jeremy Jacob, 2020, ArXiv.
On shared systems
Jeremy Jacob, 1987 .