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