文章基本信息
- 标题：Clock Difference Diagrams
- 本地全文：下载
- 作者：Kim G. Larsen ; Carsten Weise ; Wang Yi 等
- 期刊名称：BRICS Report Series
- 印刷版ISSN：0909-0878
- 出版年度：1998
- 卷号：5
- 期号：46
- 出版社：Aarhus University
- 摘要：We sketch a BDD-like structure for representing unions of simple convex polyhedra, describing the legal values of a set of clocks given bounds on the values of clocks and clock dffierences.
