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

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

[Lecture Notes in Computer Science] CONCUR '94: Concurrency Theory Volume 836 || Trace refinement of action systems

[Lecture Notes in Computer Science] CONCUR '94: Concurrency Theory Volume 836 || Trace refinement of action systems

Jonsson, Bengt; Parrow, Joachim

作者Jonsson, Bengt; Parrow, Joachim
文件大小971.36KB
发表时间1994
DOI10.1007/bfb0015020
页码367-384

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