Modelling and Verifying Dynamic Properties of Biological Neural Networks in Coq.
| Autor: | Bahrami, Abdorrahim, De Maria, Elisabetta, Felty, Amy |
|---|---|
| Zdroj: | ACM International Conference Proceeding Series; 12/10/2018, p1-11, 11p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|