@incollection{Ahmed_2017,
    doi = {10.1007/978-3-319-52234-0_1},
    url = {https://doi.org/10.1007%2F978-3-319-52234-0_1},
    year = {2017},
    publisher = {Springer International Publishing},
    pages = {1--13},
    author = {Zara Ahmed and David Benque and Sergey Berezin and Anna Caroline E. Dahl and Jasmin Fisher and Benjamin A. Hall and Samin Ishtiaq and Jay Nanavati and Nir Piterman and Maik Riechert and Nikita Skoblov},
    title = {Bringing {LTL} Model Checking to Biologists},
    booktitle = {Lecture Notes in Computer Science}
}

@incollection{Ahmed_2017, doi = {10.1007/978-3-319-52234-0_1}, url = {https://doi.org/10.1007%2F978-3-319-52234-0_1}, year = {2017}, publisher = {Springer International Publishing}, pages = {1--13}, author = {Zara Ahmed and David Benque and Sergey Berezin and Anna Caroline E. Dahl and Jasmin Fisher and Benjamin A. Hall and Samin Ishtiaq and Jay Nanavati and Nir Piterman and Maik Riechert and Nikita Skoblov}, title = {Bringing {LTL} Model Checking to Biologists}, booktitle = {Lecture Notes in Computer Science} }