%0 Journal Article %1 journals/entcs/KoziolekF07 %A Koziolek, Heiko %A Firus, Viktoria %D 2007 %J Electron. Notes Theor. Comput. Sci. %K dblp %N 2 %P 69-87 %T Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation. %U http://dblp.uni-trier.de/db/journals/entcs/entcs176.html#KoziolekF07 %V 176

@article{journals/entcs/KoziolekF07, added-at = {2020-02-24T00:00:00.000+0100}, author = {Koziolek, Heiko and Firus, Viktoria}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/217d43b69610cdbdc2c711505afc65f7b/dblp}, ee = {https://doi.org/10.1016/j.entcs.2006.02.032}, interhash = {bf87b65900cae45f30cc95d9b1d9c747}, intrahash = {17d43b69610cdbdc2c711505afc65f7b}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {69-87}, timestamp = {2020-04-20T13:08:11.000+0200}, title = {Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs176.html#KoziolekF07}, volume = 176, year = 2007 }