ZEUS: A Distributed Timed Model-Checker Based on KRONOS
ZEUS: A Distributed Timed Model-Checker Based on KRONOS
复制标题
ZEUS：基于 KRONOS 的分布式定时模型检查器
DOI：
10.1016/s1571-0661(05)80389-5
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
F. Schapachnik
中科院分区：
文献类型：
--
作者：
V. Braberman;A. Olivero;F. Schapachnik
