8 citations · 15 across the 4 of their papers we have counts for
1 paper · 2 filters
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…