Logical specification of processes

@article{36562,
   author = {ČÍHALOVÁ, Martina and DUŽÍ, Marie and Menšík, Marek},
   issn = {0922-6389},
   journal = {Frontiers in Artificial Intelligence and Applications},
   title = {Logical specification of processes},
   volume = {260},
   year = {2014}
}

TY  - JOUR
ID  - 36562
AU  - ČÍHALOVÁ, Martina - DUŽÍ, Marie - Menšík, Marek
PY  - 2014
TI  - Logical specification of processes
JF  - Frontiers in Artificial Intelligence and Applications
VL  - 260
SP  - 45-63
EP  - 45-63
SN  - 09226389
ER  - 

ČÍHALOVÁ, Martina, Marie DUŽÍ and Marek MENŠÍK. Logical specification of processes. \textit{Frontiers in Artificial Intelligence and Applications}. 2014, vol.~260, p.~45-63. ISSN~0922-6389.