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

Cached

Download Links

by Ahmed Bouajjani , Peter Habermehl
Venue:Theoretical Computer Science
Citations:62 - 12 self