Talks and Poster Presentations (without Proceedings-Entry):
S. Rubin:
"Parameterised Verification of Robot Protocols: An Automata Theoretic Approach";
Talk: Workshop on Formal Reasoning in Distributed Algorithms (FRiDA),
Wien;
2014-07-23
- 2014-07-24.