@inproceedings{SPIN17, author = {Fiter\u{a}u-Bro\c{s}tean, Paul and Lenaerts, Toon and Poll, Erik and de Ruiter, Joeri and Vaandrager, Frits and Verleg, Patrick}, title = {Model Learning and Model Checking of SSH Implementations}, booktitle = {Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software}, series = {SPIN 2017}, year = {2017}, isbn = {978-1-4503-5077-8}, pages = {142--151}, doi = {10.1145/3092282.3092289}, publisher = {ACM}, }