%0 Generic
%T Model Checking Systems against Epistemic Specifications : Invited Presentation at the 1st International Workshop on Strategic Reasoning Invited Presentation at the 1st International Workshop on Strategic Reasoning
%A Lomuscio, Alessio R.
%I Open Publishing Association
%@ 2075-2180
%K General Earth and Planetary Sciences
%K General Engineering
%K General Environmental Science
%D 2013
%C Open Publishing Association
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation