@inproceedings{Fiter_u_Bro_tean_2017,
    doi = {10.1145/3092282.3092289},
    url = {https://doi.org/10.1145%2F3092282.3092289},
    year = {2017},
    month = {jul},
    publisher = {{ACM}},
    author = {Paul Fiter{\u{a}}u-Bro{\c{s}}tean and Toon Lenaerts and Erik Poll and Joeri de Ruiter and Frits Vaandrager and Patrick Verleg},
    title = {Model learning and model checking of {SSH} implementations},
    booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium on Model Checking of Software}
}

@inproceedings{Fiter_u_Bro_tean_2017, doi = {10.1145/3092282.3092289}, url = {https://doi.org/10.1145%2F3092282.3092289}, year = {2017}, month = {jul}, publisher = {{ACM}}, author = {Paul Fiter{\u{a}}u-Bro{\c{s}}tean and Toon Lenaerts and Erik Poll and Joeri de Ruiter and Frits Vaandrager and Patrick Verleg}, title = {Model learning and model checking of {SSH} implementations}, booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium on Model Checking of Software} }