Personensuche
X
?
Proceedings of the 28th Annual ACM Symposium on Applied Computing ,
8
Reliable supervisory coordination of stochastic communicati..:
, In:
?
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06) ,
11
Lumping Markov Chains with Silent Steps:
, In:
?
2024 13th Mediterranean Conference on Embedded Computing (MECO) ,
15