%0 Thesis %1 hartmanns2015analysis %A Hartmanns, Arnd %D 2015 %K %T On the analysis of stochastic timed systems

@phdthesis{hartmanns2015analysis, added-at = {2023-12-12T20:35:23.000+0100}, author = {Hartmanns, Arnd}, biburl = {https://www.bibsonomy.org/bibtex/2b655c06658ce587cd7781fe5ec7460ae/admin}, dnbtitleid = {1074427076}, interhash = {3169be45558c03ee9af112a5ee603f22}, intrahash = {b655c06658ce587cd7781fe5ec7460ae}, keywords = {}, school = {Uni Saarbrücken}, timestamp = {2023-12-12T20:35:23.000+0100}, title = {On the analysis of stochastic timed systems}, year = 2015 }