@miscEll2012, Author = {Ellen, Christian and Fränzle, Martin and Gerwinn, Sebastian and Müllner, Nils}, Title = {Modeling TCL via DTMC}, Year = {2012}, Month = {09}, Organization = {Scottish Informatics \& Computer Science Alliance}, type = {misc} @COMMENTBibtex file generated on