Datastructures used in UPPAAL Compact Difference Diagrams (finite unions of zones)

Previous slide Next slide Back to first slide View graphic version