@inproceedings{VMCAI-2017-AhmedBBDFHINPRS,
	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",
	booktitle     = "{Proceedings of the 18th International Conference on Verification, Model Checking and Abstract Interpretation}",
	doi           = "10.1007/978-3-319-52234-0_1",
	isbn          = "978-3-319-52233-3",
	pages         = "1--13",
	publisher     = "{Springer}",
	title         = "{Bringing LTL Model Checking to Biologists}",
	year          = 2017,
}