Další formáty:
BibTeX
LaTeX
RIS
@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ŽÍ a Marek MENŠÍK. Logical specification of processes. Online. \textit{Frontiers in Artificial Intelligence and Applications}. 2014, roč.~260, s.~45-63. ISSN~0922-6389. [citováno 2024-04-23]
|