You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 2 results:

BibTex

Filters: Keyword is Abstraction [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

A

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.

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.