TY  - JOUR
AU  - Darondeau, Ph.
TI  - Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1986
SP  - 291
EP  - 318
VL  - 20
IS  - 3
PB  - AFCET - Gauthier-Villars
PP  - Paris
UR  - http://archive.numdam.org/item/ITA_1986__20_3_291_0/
LA  - fr
ID  - ITA_1986__20_3_291_0
ER  -