LRDE
LRDE
General Information
Home
People
News
Jobs
Lrde bulletin
Intranet
Research
Projects
Partnerships
Publications
LRDE Seminar
Studying at LRDE
Life at the LRDE
Joining the LRDE
Education
Courses at EPITA
External courses
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Browse properties
Browse properties
Learning models for model-checking
From LRDE
Auteurs
Neri Nicolas
Type
techreport
Année
2007
Numéro
0704
Projects
APMC
Résumé
FIXME
Category
:
CSIReportsFR