You are not logged in |
Back to the list of the institutes
Publications
Conference: The 23th International Workshop on Concurrency, Specification and Programming
Number of publications: 12014
- Katarzyna Budzyńska, Marcin Dziubiński , MAGDALENA KACPRZAK, Anna Sawicka, Verifying Strategies in Dialogue Games, The 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, 29 September 2014 - 1 October 2014. See in PBN
