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