Eintrag entfernt

Sie versuchen, auf einen Eintrag zuzugreifen, der bereits aus dem Archiv entfernt wurde.

Es gibt eine neuere Fassung des Dokuments, auf das Sie zugreifen:
Kröger, Janis und Koopmann, Björn und Stierand, Ingo und Tabassam, Nadra und Fränzle, Martin (2022) Handling of Operating Modes in Contract-Based Timing Specifications. In: 15th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2021, 13187, Seiten 59-74. Springer, Cham. Verification and Evaluation of Computer and Communication Systems, 22.-23. Nov. 2021, virtuell. doi: 10.1007/978-3-030-98850-0_5. ISBN 978-3-030-98850-0. ISSN 0302-9743.