Exploring Games as Formal Models

T Nummenmaa, E Berki, T Mikkonen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

7 Citations (Scopus)

Original language	English
Title of host publication	2009 South-East European Workshop on Formal Methods
Editors	Dranidis Dimitris, Ioanna Stamatopoulou
Place of Publication	Los Alamitos
Publisher	IEEE Computer Society
Pages	60-65
ISBN (Print)	978-0-7695-3943-0
Publication status	Published - 2009
Publication type	A4 Article in conference proceedings

Cite this

@inproceedings{be8ce0d0d92a4e83bb09e492beaa2407,

title = "Exploring Games as Formal Models",

author = "T Nummenmaa and E Berki and T Mikkonen",

year = "2009",

language = "English",

isbn = "978-0-7695-3943-0",

pages = "60--65",

editor = "Dranidis Dimitris and Ioanna Stamatopoulou",

booktitle = "2009 South-East European Workshop on Formal Methods",

publisher = "IEEE Computer Society",

address = "United States",

}