Library rt.model.apa.response_time

(* The definition of response time remains the same under APA scheduling. *)
Require Export rt.model.basic.response_time.

This page has been generated by coqdoc