Verification of Nonregular Temporal Properties for Context-Free Processes.

Ahmed Bouajjani, Rachid Echahed, Riadh Robbana

Browse the full CONCUR paper archive.