Geodesic
Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986) no. 3, pp. 291-318

Voir la notice de l'article provenant de la source Numdam

MR Zbl 
Darondeau, Ph. Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986) no. 3, pp. 291-318. http://geodesic.mathdoc.fr/item/ITA_1986__20_3_291_0/
@article{ITA_1986__20_3_291_0,
     author = {Darondeau, Ph.},
     title = {Une critique de la notion de test de processus fond\'ee sur la non s\'eparabilit\'e de certaines classes de langages},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {291--318},
     year = {1986},
     publisher = {AFCET - Gauthier-Villars},
     address = {Paris},
     volume = {20},
     number = {3},
     mrnumber = {894716},
     zbl = {0617.68071},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/ITA_1986__20_3_291_0/}
}
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://geodesic.mathdoc.fr/item/ITA_1986__20_3_291_0/
LA  - fr
ID  - ITA_1986__20_3_291_0
ER  - 
%0 Journal Article
%A Darondeau, Ph.
%T Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1986
%P 291-318
%V 20
%N 3
%I AFCET - Gauthier-Villars
%C Paris
%U http://geodesic.mathdoc.fr/item/ITA_1986__20_3_291_0/
%G fr
%F ITA_1986__20_3_291_0