You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 2 results:

BibTex

Filters: Keyword is symbolic representation [Clear All Filters]

2003

M. Alpuente, Falaschi, M., and Villanueva, A., “Symbolic Model Checking for Timed Concurrent Constraint Programs”, Proceedings of the III Jornadas de Programación y Lenguajes. Alicante, 2003.

2005

M. Alpuente, Falaschi, M., and Villanueva, A., “A Symbolic Model checker for tccp Programs”, in Proceedings of the International Workshop on Rapid Integration of Software Ingeneering techniques (RISE'04), vol. 3475, Springer Verlag, 2005, pp. 45–56.