Main menu
You are here
Publications
Export 1 results:
Filters: Author is Lescaylle, A. and Keyword is tccp [Clear All Filters]
, “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.