Task-System Analysis Using Slope-Parametric Hybrid Automata

Augusto BurgueƱo, Vlad Rusu. Task-System Analysis Using Slope-Parametric Hybrid Automata. In Christian Lengauer, Martin Griebl, Sergei Gorlatch, editors, Euro-Par 97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings. Volume 1300 of Lecture Notes in Computer Science, pages 1262-1273, Springer, 1997.

Abstract

Abstract is missing.