You are here

Home

Abstract Model Checking of tccp programs

M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., “Abstract Model Checking of tccp programs”, Electronic Notes in Theoretical Computer Science (ENTCS), vol. 112, pp. 19–36, 2004.

created with Drupal | customized by Giovanni Bacci