%0 Journal Article
%T Specification and Verification of a Multi-agent Coordination Protocol with TLA+
%A Arbs Paiva, Pedro Yuri
%A Saotome, Osamu
%A Brandauer, Christof
%A ,
%J 2018 VIII Brazilian Symposium on Computing Systems Engineering (SBESC)
%D 2018-11-01
%I IEEE
%~ DeepDyve