Can We Communicate? Using Dynamic Logic to Verify Team Automata.

Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, Jos Proena

Browse the full FM paper archive.