TITLE     : Can we communicate? Using dynamic logic to verify team automata
AUTHOR(S) : Ter Beek Mh, Cledou G, Hennicker R, Proença J
TYPE      : Conference article
YEAR      : 2023
CODE      : 478830

*** DO NOT EDIT THIS FILE ***