Reconciling Preemption Bounding with DPOR

von Marmanis, Iason
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)