Publications

Export 1 results:
Author [ Title(Asc)] Type Year
Filters: Keyword is time dependent analysis and Author is M. I. A. Stoelinga  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
T
Kumar R., Guck D., Stoelinga M.IA.  2015.  Time dependent analysis with dynamic counter measure trees. Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), London, England.