@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"} @string{springer="© Springer-Verlag"} @inproceedings{ABBDFHINPRS17, author = {Z. Ahmed and D. Benque and S. Berezin and A.C.E. Dahl and J. Fisher and B.A. Hall and S. Ishtiaq and J. Nanavati and N. Piterman and M. Riechert and N. Skoblov}, title = {Bringing {LTL} Model Checking to Biologists}, booktitle = {18th International Conference on Verification, Model Checking, and Abstract Interpretation}, pages = {1--13}, year = {2017}, series = lncs, volume = {10145}, publisher = springer, OPTpdf = {2010/CHP10.pdf}, OPTurl = {2010/CHP10.html}, keywords = {Executable Biology}, }