%0 Conference Paper %1 conf/spin/Fiterau-Brostean17 %A Fiterau-Brostean, Paul %A Lenaerts, Toon %A Poll, Erik %A de Ruiter, Joeri %A Vaandrager, Frits W. %A Verleg, Patrick %B SPIN %D 2017 %E Erdogmus, Hakan %E Havelund, Klaus %I ACM %K dblp %P 142-151 %T Model learning and model checking of SSH implementations. %U http://dblp.uni-trier.de/db/conf/spin/spin2017.html#Fiterau-Brostean17 %@ 978-1-4503-5077-8

@inproceedings{conf/spin/Fiterau-Brostean17, added-at = {2021-10-14T00:00:00.000+0200}, author = {Fiterau-Brostean, Paul and Lenaerts, Toon and Poll, Erik and de Ruiter, Joeri and Vaandrager, Frits W. and Verleg, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/2b283c6275c8b44b95394a682279b139e/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2017}, editor = {Erdogmus, Hakan and Havelund, Klaus}, ee = {https://doi.org/10.1145/3092282.3092289}, interhash = {9cb3253e0ba52e89a454fc5926ccfb03}, intrahash = {b283c6275c8b44b95394a682279b139e}, isbn = {978-1-4503-5077-8}, keywords = {dblp}, pages = {142-151}, publisher = {ACM}, timestamp = {2024-04-10T20:33:25.000+0200}, title = {Model learning and model checking of SSH implementations.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2017.html#Fiterau-Brostean17}, year = 2017 }