-
MS
-
Professorship
-
Team
-
Employees
Prof. Dr. Peter Buchholz
Methodologies and Tools (VALUETOOLS), 2015. I. V. Tarasyuk, P. Buchholz Bisimulation for fluid stochastic Petri nets Bull. of the Novosibirsk Computing Center 38, 2015, 121-149. P. Buchholz, J. Kriege. PH [...] Analyzing Shortest Path Problems with Correlated Traveling Times. Computers & Operations Research 59, 2015, 51-65. M. Beccuti, E. G. Amparore, S. Donatelli, D. Scheftelowitsch, P. Buchholz, G. Fraceschinis [...] Uncertainty Proc. 12th European Workshop on Computer Performance Engineering, Springer LNCS 9272, 2015, 177-192. P. Buchholz, J. Kriege, D. Scheftelowitsch Equivalence and Minimization for Model Checking …