You are here

A Semantic Framework for the Abstract Model Checking of tccp programs

M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., “A Semantic Framework for the Abstract Model Checking of tccp programs”, {Theoretical Computer Science}, vol. 346, pp. 58–95, 2005.