How to compose Presburger-Accelerations: Applications to Broadcast Protocols (2002)

Cached

Download Links

by Alain Finkel , J. Leroux
Venue:IN PROC. 22ND CONF. FOUND. OF SOFTWARE TECHNOLOGY AND THEOR. COMP. SCI. (FST&TCS'2002), KANPUR
Citations:48 - 17 self