=Paper=
{{Paper
|id=Vol-3585/paper13_SPIRIT03
|storemode=property
|title=Reasoning About Dynamic Game Models Using Obstruction Logic (short paper)
|pdfUrl=https://ceur-ws.org/Vol-3585/paper13_SPIRIT03.pdf
|volume=Vol-3585
|authors=Davide Catta,Jean Leneutre,Vadim Malvone
}}
==Reasoning About Dynamic Game Models Using Obstruction Logic (short paper)==
None