@inproceedings{DBLP:conf/ncma/PlatekOP17,
  author    = {Martin Pl{\'{a}}tek and
               Karel Oliva and
               Dana Pardubsk{\'{a}}},
  title     = {Analysis by reduction of analytical PDT-trees},
  booktitle = {Ninth Workshop on Non-Classical Models of Automata and Applications,
               {NCMA} 2017, Prague, Czech Republic, August 17-18, 2017.},
  pages     = {211--226},
  year      = {2017},
  crossref  = {DBLP:conf/ncma/2017},
  timestamp = {Mon, 21 Aug 2017 15:48:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ncma/PlatekOP17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/ncma/2017,
  editor    = {Rudolf Freund and
               Frantisek Mr{\'{a}}z and
               Daniel Prusa},
  title     = {Ninth Workshop on Non-Classical Models of Automata and Applications,
               {NCMA} 2017, Prague, Czech Republic, August 17-18, 2017},
  publisher = {{\"{O}}sterreichische Computer Gesellschaft},
  year      = {2017},
  isbn      = {978-3-903035-18-8},
  timestamp = {Mon, 21 Aug 2017 15:47:30 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ncma/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
} 