@inproceedings{biblio2261125852683901212, author = {Martin Plátek and Markéta Lopatková}, year = 2009, title = {Restartovací automaty se strukturovaným výstupem a Funkční generativní popis}, booktitle = {Informačné Technológie – Aplikácie a Teória. Zborník príspevkov, ITAT 2009}, pages = {65--72}, publisher = {PONT s.r.o.}, address = {Seňa, Slovakia}, isbn = {978-80-970179-1-0}, }