Modelling and Verifying Dynamic Properties of Biological Neural Networks in Coq
doi 10.1145/3291757.3291771
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2018
Authors
Publisher
ACM Press
Available in full text
January 1, 2018
ACM Press