Die gezeigten Posts sind eventuell nicht akkurat bei Änderungen, die vor Kurzem vorgenommen worden. Wollen Sie jedoch akkurate Posts mit eingeschränkten Sortierungsmöglichkeiten, folgen Sie dem folgenden Link.
C. Dubslaff, A. Morozov, C. Baier, und K. Janschek. Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020), pp. 121-133, (2020)