8 citations · 8 across the 1 of their papers we have counts for
1 paper
Kenneth Y. Jørgensen, Kim G. Larsen, Jiří Srba
Symbolic data structures for model checking timed systems have been subject to a significant research, with Difference Bound Matrices (DBMs) still being the preferred data structur…