TY - JOUR AU - Larsen, Kim G. AU - Weise, Carsten AU - Yi, Wang AU - Pearson, Justin PY - 1998/06/16 Y2 - 2024/03/28 TI - Clock Difference Diagrams JF - BRICS Report Series JA - BRICS VL - 5 IS - 46 SE - Articles DO - 10.7146/brics.v5i46.19491 UR - https://tidsskrift.dk/brics/article/view/19491 SP - AB - 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. ER -