@inproceedings{DBLP:conf/ncma/FernauKW17,
  author    = {Henning Fernau and
               Martin Kutrib and
               Matthias Wendlandt},
  title     = {Self-verifying pushdown automata},
  booktitle = {Ninth Workshop on Non-Classical Models of Automata and Applications,
               {NCMA} 2017, Prague, Czech Republic, August 17-18, 2017.},
  pages     = {103--117},
  year      = {2017},
  crossref  = {DBLP:conf/ncma/2017},
  timestamp = {Mon, 21 Aug 2017 15:47:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ncma/FernauKW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"eMBvQMpvEBHu7SwNk","bibbaseid":"fernau-kutrib-wendlandt-selfverifyingpushdownautomata-2017","downloads":0,"creationDate":"2018-10-01T13:54:48.691Z","title":"Self-verifying pushdown automata","author_short":["Fernau, H.","Kutrib, M.","Wendlandt, M."],"year":2017,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/f/HenningFernau.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Henning"],"propositions":[],"lastnames":["Fernau"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Kutrib"],"suffixes":[]},{"firstnames":["Matthias"],"propositions":[],"lastnames":["Wendlandt"],"suffixes":[]}],"title":"Self-verifying pushdown automata","booktitle":"Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017.","pages":"103–117","year":"2017","crossref":"DBLP:conf/ncma/2017","timestamp":"Mon, 21 Aug 2017 15:47:30 +0200","biburl":"https://dblp.org/rec/bib/conf/ncma/FernauKW17","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ncma/FernauKW17,\n author = {Henning Fernau and\n Martin Kutrib and\n Matthias Wendlandt},\n title = {Self-verifying pushdown automata},\n booktitle = {Ninth Workshop on Non-Classical Models of Automata and Applications,\n {NCMA} 2017, Prague, Czech Republic, August 17-18, 2017.},\n pages = {103--117},\n year = {2017},\n crossref = {DBLP:conf/ncma/2017},\n timestamp = {Mon, 21 Aug 2017 15:47:30 +0200},\n biburl = {https://dblp.org/rec/bib/conf/ncma/FernauKW17},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fernau, H.","Kutrib, M.","Wendlandt, M."],"key":"DBLP:conf/ncma/FernauKW17","id":"DBLP:conf/ncma/FernauKW17","bibbaseid":"fernau-kutrib-wendlandt-selfverifyingpushdownautomata-2017","role":"author","urls":{},"downloads":0},"search_terms":["self","verifying","pushdown","automata","fernau","kutrib","wendlandt"],"keywords":[],"authorIDs":[],"dataSources":["TuA7fGR5JYLK4NXQn"]}