DMCA

Symbolic Reachability Analysis of FIFO-Channel Systems with Nonregular Sets of Configurations (1997)

Cached

Download Links

by Ahmed Bouajjani Peter , Peter Habermehl
Venue:Theoretical Computer Science