Exploring Games as Formal Models

T Nummenmaa, E Berki, T Mikkonen

Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu

7 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	2009 South-East European Workshop on Formal Methods
Toimittajat	Dranidis Dimitris, Ioanna Stamatopoulou
Julkaisupaikka	Los Alamitos
Kustantaja	IEEE Computer Society
Sivut	60-65
ISBN (painettu)	978-0-7695-3943-0
Tila	Julkaistu - 2009
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Siteeraa tätä

@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",

}