Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference92 articles.
1. Alberts, B., Johnson, A., Lewis, J., Walter, P., Raff, M., Roberts, K.: Molecular biology of the cell 4th edition: international student edition. Routledge (2002). https://books.google.at/books?id=ozigkQEACAAJ
2. Alur, R., Bodik, R., Juniwal, G., Martin, M.M., Raghothaman, M., Seshia, S.A., Singh, R., Solar-Lezama, A., Torlak, E., Udupa, A.: Syntax-guided synthesis. In: 2013 Formal Methods in Computer-Aided Design, IEEE, pp. 1–8 (2013)
3. Baker, R.W., Hughson, F.M.: Chaperoning snare assembly and disassembly. Nat. Rev. Mol. Cell Biol. 17(8), 465 (2016)
4. Barlow, L., Dacks, J.: Seeing the endomembrane system for the trees: evolutionary analysis highlights the importance of plants as models for eukaryotic membrane-trafficking. In: Seminars in cell & developmental biology. Elsevier (2017)
5. Barrett, C., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Model Checking, pp. 305–343. Springer (2018)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献