You are here

Publications

Export 1 results:
Filters: Keyword is tccp and Author is Lescaylle, A.  [Clear All Filters]
2007
A. Lescaylle and Villanueva, A., Using tccp for the Specification and Verification of Communication Protocols, Proceedings of the 16th International Workshop on Funcional and (Constraint) Logic Programming (WFLP'07). Paris (France), pp. 169–183, 2007.