The Refinement of Event Calculus Models.

Bill Stoddart, Steve Dunne

Browse the full IFM paper archive.