Home > Authorities > Grants > Record #12199
 

FOMMAS

First-order Modal Logics for the Specification and Verification of Multi-Agent Systems

CoordinatorIMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
Grant period2009-07-20 - 2011-07-19
Funding bodyEuropean Union
Call numberFP7-PEOPLE-IEF-2008
Grant number235329
IdentifierG:(EU-Grant)235329

     

Recent Publications

There are no publications

 Record created 2014-10-20, last modified 2023-02-28
Similar records



Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)
iMPULSE :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.7 | join2_v2511
Maintained by impulse@mlz-garching.de

Impressum | Data Privacy Policy
This site is also available in the following languages:
English  Deutsch