%0
Generic
%T
Formal methods: Monitoring Distributed Systems under Partial Synchrony
%A Ganguly, Ritam
%A Momtaz, Anik
%A Bonakdarpour, Borzoo
%I Opodis
%D 2020
%X Audiovisuelles Material
%C Opodis
%C [Erscheinungsort nicht ermittelbar]
%U http://slubdd.de/katalog?TN_libero_mab2