Skip to main content
User menu
Cart
Login
DIAL.pr - BOREAL
Search form
Search
Home
All Publications
Export
Help
Author
1
Boyer, Benoit
Apply Boyer, Benoit filter
1
Boyer, Benoît
Apply Boyer, Benoît filter
Date
1
2012
Apply 2012 filter
1
2010
Apply 2010 filter
Document Type
1
Communication à un colloque (Conference Paper)
Apply Communication à un colloque (Conference Paper) filter
1
Rapport (Report)
Apply Rapport (Report) filter
You are here
Home
»
Search
»
Search results
»
sm_creator:"Boichut, Yohan"
»
Search
Accès à distance ? S'identifier sur le proxy
UCLouvain
Search
Sort by
Relevancy
Publication date desc
Publication date asc
Creation date
Fulltext
Displaying
2
results.
Report
Equational Abstraction Refinement for Certified Tree Regular Model Checking
Boichut, Yohan
Boyer, Benoît
Genet, Thomas
Legay, Axel
[UCL]
(2010)
Speech
Equational Abstraction Refinement for Certified Tree Regular Model Checking
Boichut, Yohan
Boyer, Benoit
Genet, Thomas
Legay, Axel
[UCL]
(2012)
ICFEM —