Strategic Planning through Model Checking of ATL Formulae

W.J. Jamroga

Research output: Contribution to conferencePosterOther research output

Original languageUndefined
Pages-
Publication statusPublished - 9 Jun 2004

Keywords

  • METIS-221744

Cite this

@conference{6c537806112d4896a874bf9cf62aab90,
title = "Strategic Planning through Model Checking of ATL Formulae",
keywords = "METIS-221744",
author = "W.J. Jamroga",
year = "2004",
month = "6",
day = "9",
language = "Undefined",
pages = "--",

}

Strategic Planning through Model Checking of ATL Formulae. / Jamroga, W.J.

2004. -.

Research output: Contribution to conferencePosterOther research output

TY - CONF

T1 - Strategic Planning through Model Checking of ATL Formulae

AU - Jamroga, W.J.

PY - 2004/6/9

Y1 - 2004/6/9

KW - METIS-221744

M3 - Poster

SP - -

ER -