Mihail Asavoae, Irina Mariuca Asavoae, Dorel Lucanu. On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework. In Ricardo Peña, Marko C. J. D. van Eekelen, Olha Shkaravska, editors, Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers. Volume 7177 of Lecture Notes in Computer Science, pages 90-107, Springer, 2011. [doi]
Abstract is missing.