Correctness and Efficiency Criteria for the Multi-Phase Task Model.

Rmi Meunier, Thomas Carle, Thierry Monteil

Browse the full ECRTS paper archive.