Voir la notice de l'article provenant de la source Numdam
@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},
publisher = {AFCET - Gauthier-Villars},
address = {Paris},
volume = {20},
number = {3},
year = {1986},
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
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/