%0 Journal Article %1 journals/isse/GerholdHS19 %A Gerhold, Marcus %A Hartmanns, Arnd %A Stoelinga, Mariëlle %D 2019 %J Innov. Syst. Softw. Eng. %K dblp %N 3-4 %P 207-233 %T Model-based testing of stochastically timed systems. %U http://dblp.uni-trier.de/db/journals/isse/isse15.html#GerholdHS19 %V 15

@article{journals/isse/GerholdHS19, added-at = {2020-08-13T00:00:00.000+0200}, author = {Gerhold, Marcus and Hartmanns, Arnd and Stoelinga, Mariëlle}, biburl = {https://www.bibsonomy.org/bibtex/2f350a8a77643730a71c44ffb6376ee91/dblp}, ee = {https://doi.org/10.1007/s11334-019-00349-z}, interhash = {3db51578c11196b931fab8dd54545700}, intrahash = {f350a8a77643730a71c44ffb6376ee91}, journal = {Innov. Syst. Softw. Eng.}, keywords = {dblp}, number = {3-4}, pages = {207-233}, timestamp = {2020-08-14T11:53:17.000+0200}, title = {Model-based testing of stochastically timed systems.}, url = {http://dblp.uni-trier.de/db/journals/isse/isse15.html#GerholdHS19}, volume = 15, year = 2019 }