@Inproceedings{EPTCS268.6, author = {Gl\"uck, Robert}, year = {2018}, title = {An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata}, editor = {Gallagher, John P. and Glabbeek, Rob van and Serwe, Wendelin}, booktitle = {{\rm Proceedings Third Workshop on} Models for Formal Analysis of Real Systems {\rm and Sixth International Workshop on} Verification and Program Transformation, {\rm Thessaloniki, Greece, 20th April 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {268}, publisher = {Open Publishing Association}, pages = {169-184}, doi = {10.4204/EPTCS.268.6}, }