@inproceedings{Neider_2018,
    doi = {10.23919/fmcad.2018.8603016},
    url = {https://doi.org/10.23919%2Ffmcad.2018.8603016},
    year = {2018},
    month = {oct},
    publisher = {{IEEE}},
    author = {Daniel Neider and Ivan Gavran},
    title = {Learning Linear Temporal Properties},
    booktitle = {2018 Formal Methods in Computer Aided Design ({FMCAD})}
}

@inproceedings{Neider_2018, doi = {10.23919/fmcad.2018.8603016}, url = {https://doi.org/10.23919%2Ffmcad.2018.8603016}, year = {2018}, month = {oct}, publisher = {{IEEE}}, author = {Daniel Neider and Ivan Gavran}, title = {Learning Linear Temporal Properties}, booktitle = {2018 Formal Methods in Computer Aided Design ({FMCAD})} }