DMCA

The reactive simulatability (RSIM) framework for asynchronous systems (2007)

Cached

Download Links

by Michael Backes , Birgit Pfitzmann , Michael Waidner
Venue:Information and Computation
Citations:36 - 6 self