Geodesic
A Modal Logic Framework for Dynamic Conflict Detection
Mathematica balkanica, Tome 19 (2005) no. 1-2, p. 17.

Voir la notice de l'article provenant de la source Mathematicac Balkanica website

@article{MABA_2005_19_1-2_a1,
     author = {Veselka D. Boeva},
     title = {A {Modal} {Logic} {Framework} for {Dynamic} {Conflict} {Detection}},
     journal = {Mathematica balkanica},
     pages = {17},
     publisher = {mathdoc},
     volume = {19},
     number = {1-2},
     year = {2005},
     url = {http://geodesic.mathdoc.fr/item/MABA_2005_19_1-2_a1/}
}
TY  - JOUR
AU  - Veselka D. Boeva
TI  - A Modal Logic Framework for Dynamic Conflict Detection
JO  - Mathematica balkanica
PY  - 2005
SP  - 17
VL  - 19
IS  - 1-2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MABA_2005_19_1-2_a1/
ID  - MABA_2005_19_1-2_a1
ER  - 
%0 Journal Article
%A Veselka D. Boeva
%T A Modal Logic Framework for Dynamic Conflict Detection
%J Mathematica balkanica
%D 2005
%P 17
%V 19
%N 1-2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MABA_2005_19_1-2_a1/
%F MABA_2005_19_1-2_a1
Veselka D. Boeva. A Modal Logic Framework for Dynamic Conflict Detection. Mathematica balkanica, Tome 19 (2005) no. 1-2, p. 17. http://geodesic.mathdoc.fr/item/MABA_2005_19_1-2_a1/