Model-checking CSP-Z: strategy, tool support and industrial application-猫眼课题宝

DOI：

10.1016/s0167-6423(00)00023-x

发表时间：

2001-05

期刊：

Sci. Comput. Program.

影响因子：

--

通讯作者：

中科院分区：

其他

文献类型：

--

作者：

A. Mota;A. Sampaio