![](/img/cover-not-exists.png)
[IEEE 2009 Fourth South-East European Workshop on Formal Methods (SEEFM) - Thessalniki, TBD, Greece (2009.12.4-2009.12.5)] 2009 Fourth South-East European Workshop on Formal Methods - Exploring Games as Formal Models
Nummenmaa, Timo, Berki, Eleni, Mikkonen, TommiYear:
2009
Language:
english
DOI:
10.1109/seefm.2009.15
File:
PDF, 282 KB
english, 2009