G
[Gan23] Ritam Ganguly. Runtime verification of distributed systems. PhD thesis, Michigan State University, USA, 2023. 
@phdthesis{phd-ganguly,
  author =              {Ganguly, Ritam},
  title =               {Runtime verification of distributed systems},
  year =                {2023},
  school =              {Michigan State University, USA},
  type =                {{PhD} thesis},
}
List of authors