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
Activities
Seminar
Conferences
Doctoral Consortium
Current news
Transfer
25th anniversary
You are here
Home
>
Projects
>
DISCOR
DISCOR
Incremental Description of Systems based on the Calculus of Refinements (COR) and Executable Modal Logics (LMex)
May 1994 - May 1997
Main researcher
Jaume Agustí-Cullell
Project description
Data not available.
