Main menu
You are here
Publications
Export 5 results:
Filters: Keyword is cc and Author is Maria Alpuente [Clear All Filters]
, “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.
, “Symbolic Model Checking for Timed Concurrent Constraint Programs”, Proceedings of the III Jornadas de Programación y Lenguajes. Alicante, 2003.
, “Abstract Model Checking of tccp programs”, Electronic Notes in Theoretical Computer Science (ENTCS), vol. 112, pp. 19–36, 2004.
, “A Real-Time Logic for tccp verification”, Journal of Universal Computer Science, vol. 12, pp. 1551–1573, 2006.
, “A Semantic Framework for the Abstract Model Checking of tccp programs”, {Theoretical Computer Science}, vol. 346, pp. 58–95, 2005.