> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Video Titel: Formal methods: Monitoring Distributed Systems under Partial Synchrony Beteiligte: Ganguly, Ritam [VerfasserIn]; Momtaz, Anik [Sonstige Person, Familie und Körperschaft]; Bonakdarpour, Borzoo [Sonstige Person, Familie und Körperschaft] Erschienen: [Erscheinungsort nicht ermittelbar]: Opodis, 2020 Erschienen in: OPODIS: International Conference on Principles of Distributed Systems, 2020 ; (Jan. 2020) Umfang: 1 Online-Ressource (1196 MB, 00:25:22:01) Sprache: Englisch DOI: 10.5446/52866 Identifikator: Entstehung: Anmerkungen: Audiovisuelles Material Zugangsstatus: Freier Zugang Rechte-/Nutzungshinweise: Namensnennung - Nicht kommerziell (CC BY-NC)