Symbolic Reachability Analysis of FIFO Channel Systems with Nonregular Sets of Configurations (Extended Abstract).

Ahmed Bouajjani, Peter Habermehl

Browse the full ICALP paper archive.