Search

Home
Events
Projects
Publications
Posts
Research
Teaching
Contact

Variability

Can we Communicate? Using Dynamic Logic to Verify Team Automata

FM 2023

Featured Team Automata

FM 2021

© José Proença 2023

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite