Nicolas Caniart

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Nicolas Caniart
Merit: An Interpolating Model-Checker. CAV (2010)
Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun
Accelerating Interpolation-Based Model-Checking. TACAS (2008)