Augmenting the Cumulative Overload Check with Integral Resource Usage Reasoning.

Samuel Cloutier, Claude-Guy Quimper

Browse the full CP paper archive.