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

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

[Lecture Notes in Computer Science] Real-Time: Theory in Practice Volume 600 || The theory of timed automata

[Lecture Notes in Computer Science] Real-Time: Theory in Practice Volume 600 || The theory of timed automata

de Bakker, J. W.; Huizing, C.; de Roever, W. P.; Rozenberg, G.

作者de Bakker, J. W.; Huizing, C.; de Roever, W. P.; Rozenberg, G.
文件大小1710.63KB
发表时间1992
DOI10.1007/BFb0031987
页码45-73

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