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
(Redirected from
Publications/20070509-Seminar-NicolasNeri-Report
)
Authors
Neri Nicolas
Type
techreport
Year
2007
Number
0704
Projects
APMC
Abstract
FIXME
Category
:
CSIReports