Geodesic
Local entailment test in the reachability problem for well structured transition systems
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 6 (2006) no. 3, pp. 88-97

Voir la notice de l'article provenant de la source Math-Net.Ru

We describe the symbolic backward reachability procedure for infinite state systems and show that the variant of the procedure with the local entailment test still decides coverability properties of well structured systems. 
@article{VNGU_2006_6_3_a6,
     author = {D. L. Chubarov},
     title = {Local entailment test in the reachability problem for well structured transition systems},
     journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
     pages = {88--97},
     publisher = {mathdoc},
     volume = {6},
     number = {3},
     year = {2006},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2006_6_3_a6/}
}
TY  - JOUR
AU  - D. L. Chubarov
TI  - Local entailment test in the reachability problem for well structured transition systems
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2006
SP  - 88
EP  - 97
VL  - 6
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VNGU_2006_6_3_a6/
LA  - ru
ID  - VNGU_2006_6_3_a6
ER  - 
%0 Journal Article
%A D. L. Chubarov
%T Local entailment test in the reachability problem for well structured transition systems
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2006
%P 88-97
%V 6
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VNGU_2006_6_3_a6/
%G ru
%F VNGU_2006_6_3_a6
D. L. Chubarov. Local entailment test in the reachability problem for well structured transition systems. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 6 (2006) no. 3, pp. 88-97. http://geodesic.mathdoc.fr/item/VNGU_2006_6_3_a6/