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

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

Real time process algebra

Real time process algebra

J. C. M. Baeten; J. A. Bergstra
  • 作者J. C. M. Baeten; J. A. Bergstra
  • 卷第3卷
  • 期第2期
  • 印刷ISSN0934-5043
  • 电子ISSN1433-299X
  • 文件大小2138.59KB
  • 发表时间1991
  • DOI10.1007/bf01898401
  • 页码142-188
← 返回【学霸图书馆】主页