Modeling TCL via DTMC

BIB
Ellen, Christian and Fränzle, Martin and Gerwinn, Sebastian and Müllner, Nils
09 / 2012
misc
Scottish Informatics & Computer Science Alliance
MoVeS
Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances