You are here

Publications

Export 2 results:
Filters: Keyword is Abstraction  [Clear All Filters]
2004
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.