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]
@inproceedings{AsavoaeAL11, title = {On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework}, author = {Mihail Asavoae and Irina Mariuca Asavoae and Dorel Lucanu}, year = {2011}, doi = {10.1007/978-3-642-32495-6_6}, url = {http://dx.doi.org/10.1007/978-3-642-32495-6_6}, researchr = {https://researchr.org/publication/AsavoaeAL11}, cites = {0}, citedby = {0}, pages = {90-107}, booktitle = {Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers}, editor = {Ricardo Peña and Marko C. J. D. van Eekelen and Olha Shkaravska}, volume = {7177}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-32494-9}, }