-
MS
-
Testbereich
-
Allkanjari
Publikationen2
Proc. 7th Int. Conf. on the Quantitative Evaluation of Systems (QEST 2010), IEEE Press 2010, pp. 87-96. L. Bodrog, P. Buchholz, J. Kriege, M. Telek: Canonical Form Based MAP(2) Fitting. In: Proc. 7th Int [...] NS-99-2, pp. 7‑22, Lisbon, June 1999. BRICS Notes Series. P. Herrmann, O. Drögehorn, W. Geisselhardt, H. Krumm: Tool-supported formal verification of highspeed transfer protocol designs In: 7th International [...] to improve scheduling and workloads in parcel transshipment terminals Proceeding MIC/MAEB, July 4-7, 2017, Barcelona, pp. 720-729 Falko Bause, Peter Buchholz, Igor V. Tarasyuk, Miklós Telek: Equivalence …