Zara Ahmed, David Benque, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov. Bringing LTL Model Checking to Biologists. In Ahmed Bouajjani, David Monniaux, editors, Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings. Volume 10145 of Lecture Notes in Computer Science, pages 1-13, Springer, 2017. [doi]
@inproceedings{AhmedBBDFHINPRS17,
title = {Bringing LTL Model Checking to Biologists},
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},
year = {2017},
doi = {10.1007/978-3-319-52234-0_1},
url = {http://dx.doi.org/10.1007/978-3-319-52234-0_1},
researchr = {https://researchr.org/publication/AhmedBBDFHINPRS17},
cites = {0},
citedby = {0},
pages = {1-13},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings},
editor = {Ahmed Bouajjani and David Monniaux},
volume = {10145},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-52233-3},
}