文章基本信息

标题：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.