On the Verification Problem of Nonregular Properties for Nonregular Processes

Ahmed Bouajjani, Rachid Echahed, Peter Habermehl

Browse the full LICS paper archive.