Separating Timing and Calculation in Real-Time Refinement (1998)

by Ian Hayes
Citations:10 - 3 self