Publications
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 [...] Exhibition (OFC), San Diego, CA, USA, March 2023. https://opg.optica.org/abstract.cfm?uri=OFC-2023-M3Z.7 Foerster K.-T. , Jurdzinski T., and Schmid S.: Guest editorial: Structural Information and Communication …