Publications
2022. Lecture Notes in Computer Science, Vol. 13411, 2022. https://doi.org/10.1007/978-3-031-18283-9_18 2021 Journals Buchholz P., Dohndorf I.: A multi-objective approach for PH-graphs with applications [...] Christoph Fiehe: Technical Management System for Dependable Building Automation Systems Proceedings of the 9th International Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments [...] Markov Regenerative Processes Proc. Quantitative Evaluation of System, Springer LNCS 8657, 2014, 9-24. Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch: Model Checking Stochastic Automata for Dep …
