Spécification de la synchronisation par contraintes

Traian Muntean. Spécification de la synchronisation par contraintes. PhD thesis, Grenoble Institute of Technology, France, 1978. [doi]

Abstract

Abstract is missing.