%0 Generic
%T Engineering Multi-Agent Systems: Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation
%A Kmiec, Slawomir
%A Lespérance, Yves
%I Springer International Publishing
%@ 0302-9743
%@ 1611-3349
%D 2014
%C Springer International Publishing
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation