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