Logical Specification of Processes

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},
}