The Area Method: a Recapitulation

P. Janicic , J. Narboux , P. Quaresma

Journal of Automated Reasoning , page 489--532 - 2012

International journal The Area Method: a Recapitulation, Journal of Automated Reasoning, Springer Verlag ( IF : 1.431 ), pages 489--532, avril 2012. SJR Q1, doi:10.1007/s10817-010-9209-7 Research team : IGG

@Article{2-JNQ12,
 author = {Janicic, P. and Narboux, J. and Quaresma, P.},
 title = {The Area Method: a Recapitulation},
 journal = {Journal of Automated Reasoning},
 pages = {489--532},
 month = {Apr},
 year = {2012},
 note = {SJR Q1},
 doi = {10.1007/s10817-010-9209-7},
 x-international-audience = {Yes},
 x-language = {EN},
 url = {http://icube-publis.unistra.fr/2-JNQ12}
}

See publications of the same authors