×
JoséJ·帕佐斯·阿里亚斯。;加西亚·杜克（Jorge García Duque）

SCTL-MUS：分布式系统软件开发的正式方法。案例研究。 （英语） Zbl 0991.68051号

正式Asp。计算。 13，第1期，50-91（2001）.

引用于1文件

MSC公司：

68问题65 抽象数据类型；代数规范

关键词：

简单因果时序逻辑;未指定状态模型

软件：

TLA公司;SCTL-MUS公司
PDF格式BibTeX公司 XML格式引用
\textit｛J.Pazos Arias｝和\textit｛J.García Duque｝，正式Asp。计算。13，第1号，50--91（2001；Zbl 0991.68051）
全文： 内政部