@misc{indiciaeb5c1419f5bde,
  title = {An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata},
  author = {Robert Glück},
  year = {2018},
  doi = {10.4204/eptcs.268.6},
  url = {https://arxiv.org/abs/1803.10327},
  note = {Source identifier: 1803.10327}
}