DMCA

Approximations in Model-Checking and Testing (2008)

by M. C. Gaudel , F. Magniez , R. Lassaigne , M. de Rougemont