José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Maurice H. ter Beek
Latest
Team Automata: Overview and Roadmap
Can we Communicate? Using Dynamic Logic to Verify Team Automata
Featured Team Automata
Cite
×