Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management.

Ahmed Bouajjani, Peter Habermehl, Toms Vojnar

Browse the full CONCUR paper archive.