A Time Abstraction Method for Efficient Verification of Communicating Systems.

Eric Verlind, Tilman Kolks, Gjalt G. de Jong, Bill Lin, Hugo De Man

Browse the full DAC paper archive.