1. Lecture Notes in Computer Science;PA Abdulla,2011
2. Lecture Notes in Computer Science;B Aminof,2014
3. Lecture Notes in Computer Science;B Aminof,2014
4. Lecture Notes in Computer Science;B Aminof,2015
5. Aminof, B., Murano, A., Rubin, S., Zuleger, F.: Automatic verification of multi-agent systems in parameterised grid-environments. In: AAMAS (2016)