发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[Lecture Notes in Computer Science] Formal Techniques in Real-Time and Fault-Tolerant Systems Volume 1486 || Synchronizing clocked transition systems

[Lecture Notes in Computer Science] Formal Techniques in Real-Time and Fault-Tolerant Systems Volume 1486 || Synchronizing clocked transition systems

Ravn, Anders P.; Rischel, Hans

作者Ravn, Anders P.; Rischel, Hans
文件大小718.87KB
发表时间1998
DOI10.1007/bfb0055346
页码173-185

← 返回【学霸图书馆】主页