Asynchronous Team Automata

Davide Basile, Maurice H. ter Beek, José Proença
May 2026
PDF Online tool FM'26 Artefact
Type
Conference paper
Publication
Formal Methods - 27th international symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings
POISE Automata

Related