Model-Checking for a Subclass of Event Structures (1997)

Cached

Download Links

by Wojciech Penczek
Venue:Proc. of TACAS'97, LNCS 1217
Citations:15 - 8 self