EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Siekmann, J.
Home Policy Brochure Browse Search User Area Contact Help

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 Fri Mar 24 06:57:20 CET 2017.