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