Abstract Regular Model Checking.

Ahmed Bouajjani, Peter Habermehl, Toms Vojnar

Browse the full CAV paper archive.