@inproceedings{biblio-3018474271759279776,
  author    = {Roman Barták and Vladislav Kuboň},
  year      = 2016,
  title     = {On Similarities Between Workflow Verification and Grammar Checking},
  booktitle = {Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference},
  pages     = {585--590},
  publisher = {AAAI Press},
  address   = {Palo Alto, CA, USA},
  isbn      = {978-1-57735-756-8},
}