Path
Home
News
The Centre
Research Groups
People
Projects
Publications
Tech Reports
Open Positions
Events
How to get to CISUC
Member Access
People
Julien Narboux
Email
Export publications Citations
Export publications BibTeX
Journal Articles
2012
(1 publication)
Janicic, P. and Narboux, J. and Quaresma, P. , "The Area Method: a Recapitulation",
Journal of Automated Reasoning
, vol. 48, pp. 489-532, 2012