Luis-Felipe Rodríguez, Félix Ramos. Formal Specification of a Neuroscience-Inspired Cognitive Architecture. In Bin Hu, Jiming Liu, Lin Chen, Ning Zhong, editors, Brain Informatics - International Conference, BI 2011, Lanzhou, China, September 7-9, 2011. Proceedings. Volume 6889 of Lecture Notes in Computer Science, pages 185-196, Springer, 2011. [doi]
Abstract is missing.