Liveness in Timed and Untimed Systems

被引：0

作者：

Department of Computer Science, University of Bologna, Bologna 40127, Italy ^{[1
]}

不详 ^{[2
]}

不详 ^{[3
]}

不详 ^{[4
]}

机构：

来源：

Inf Comput | / 2卷 / 119-171期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用