Using Asynchronous Büchi Automata for Efficient Automatic Verification of Concurrent Systems (1996)

Cached

Download Links

by Doron Peled , Wojciech Penczek
Venue:PROC. OF PSTV'95
Citations:7 - 3 self