Martina Cíhalová, Marie Duzí, Marek Mensík. Logical Specification of Processes. In Takehiro Tokuda, Yasushi Kiyoki, Hannu Jaakkola, Naofumi Yoshida, editors, Information Modelling and Knowledge Bases XXV, 23rd European-Japanese Conference on Information Modelling and Knowledge Bases (EJC 2013), Nara, Japan, June 3-7, 2013. Volume 260 of Frontiers in Artificial Intelligence and Applications, pages 45-63, IOS Press, 2013. [doi]
@inproceedings{CihalovaDM13, title = {Logical Specification of Processes}, author = {Martina Cíhalová and Marie Duzí and Marek Mensík}, year = {2013}, doi = {10.3233/978-1-61499-361-2-45}, url = {http://dx.doi.org/10.3233/978-1-61499-361-2-45}, researchr = {https://researchr.org/publication/CihalovaDM13}, cites = {0}, citedby = {0}, pages = {45-63}, booktitle = {Information Modelling and Knowledge Bases XXV, 23rd European-Japanese Conference on Information Modelling and Knowledge Bases (EJC 2013), Nara, Japan, June 3-7, 2013}, editor = {Takehiro Tokuda and Yasushi Kiyoki and Hannu Jaakkola and Naofumi Yoshida}, volume = {260}, series = {Frontiers in Artificial Intelligence and Applications}, publisher = {IOS Press}, isbn = {978-1-61499-361-2}, }