Multi-core emptiness checking of timed Büchi automata using inclusion abstraction (2013)

by References Laarman, A Olesen, M C, A E Dalsgaard, K G Larsen, J Van De Pol
Venue:In CAV, volume 8044 of Lecture Notes in Computer Science