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  -