B. Jonsson, J. Kreiker, und M. Kwiatkowska. Quantitative and Qualitative Analysis of Network Protocols, Volume 10051 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)
B. Jonsson, J. Kreiker, und M. Kwiatkowska. Quantitative and Qualitative Analysis of Network Protocols, Volume 10051 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)
N. Rostamzadeh, D. Jönsson, und T. Ropinski. SIGRAD, Volume 94 von Linköping Electronic Conference Proceedings, Seite 35-40. Linköping University Electronic Press, (2013)