@inproceedings{ZeidlerBystrovKrsticetal., author = {Zeidler, Steffen and Bystrov, Alexander and Krstic, Milos and Kraemer, Rolf}, title = {On-line Testing of Bundled-Data Asynchronous Handshake Protocols}, language = {en} }