@incollection{Fiter_u_Bro_tean_2016,
    doi = {10.1007/978-3-319-41540-6_25},
    url = {https://doi.org/10.1007%2F978-3-319-41540-6_25},
    year = {2016},
    publisher = {Springer International Publishing},
    pages = {454--471},
    author = {Paul Fiter{\u{a}}u-Bro{\c{s}}tean and Ramon Janssen and Frits Vaandrager},
    title = {Combining Model Learning and Model Checking to Analyze {TCP} Implementations},
    booktitle = {Computer Aided Verification}
}

@incollection{Fiter_u_Bro_tean_2016, doi = {10.1007/978-3-319-41540-6_25}, url = {https://doi.org/10.1007%2F978-3-319-41540-6_25}, year = {2016}, publisher = {Springer International Publishing}, pages = {454--471}, author = {Paul Fiter{\u{a}}u-Bro{\c{s}}tean and Ramon Janssen and Frits Vaandrager}, title = {Combining Model Learning and Model Checking to Analyze {TCP} Implementations}, booktitle = {Computer Aided Verification} }