Skip to main content
Català
English
Español
Search form
Search
Log-in
About IIIA
Presentation
History
Contributions to Artificial Intelligence 1986 - 1995
Contributions to Artificial Intelligence 1996 - 2001
Location
Work with us
Departments
Projects
Current Projects
Past Projects
Publications
Publications
Thesis
Staff
Current staff
Former staff
Marc-Philipe Huguet
Activities
Seminar
Conferences
Doctoral Consortium
Current news
Transfer
25th anniversary
You are here
Home
>
Staff
>
Marc-Philipe Huguet
Marc-Philipe Huguet
Current staff
Former staff
Marc-Philipe Huguet
Position:
Co-Autors
Publications
Projects
1 Publications
2002
Marc-Philipe Huguet
,
Marc Esteva
,
Steve Phelps
,
Carles Sierra
,
Michael Wooldridge
;
Model Checking Electronic Institutions
.
MoChArt 2002 at ECAI 2002;
2002.
Download PDF
No results found
Download PDF