DMCA

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:69 - 13 self