Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2004
Jamroga, W.J.
(2004)
Strategic Planning through Model Checking of ATL Formulae.
In: Artificial Intelligence and Soft Computing (ICAISC 2004).
pp. 879-884.
Lecture notes in Computer Science 3070.
Springer Verlag.
ISSN 0302-9743
ISBN 3-540-22123-9
This list was generated on Thu May 24 08:22:22 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||